| Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback A Gerdes, B Heeren, J Jeuring, LT Van Binsbergen International Journal of Artificial Intelligence in Education 27, 65-100, 2017 | 133 | 2017 |
| eFLINT: a domain-specific language for executable norm specifications LT Van Binsbergen, LC Liu, R Van Doesburg, T Van Engers Proceedings of the 19th ACM SIGPLAN International Conference on Generative …, 2020 | 41 | 2020 |
| A principled approach to REPL interpreters LT Van Binsbergen, M Verano Merino, P Jeanjean, T Van Der Storm, ... Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020 | 27 | 2020 |
| Tool support for component-based semantics LT Binsbergen, N Sculthorpe, PD Mosses Companion Proceedings of the 15th International Conference on Modularity, 8-11, 2016 | 23 | 2016 |
| Executable component-based semantics LT van Binsbergen, PD Mosses, N Sculthorpe Journal of Logical and Algebraic Methods in Programming 103, 184-212, 2019 | 20 | 2019 |
| Model solutions and properties for diagnosing student programs in Ask-Elle J Jeuring, LT van Binsbergen, A Gerdes, B Heeren Proceedings of the Computer Science Education Research Conference, 31-40, 2014 | 16 | 2014 |
| Dynamic generation of access control policies from social policies LT van Binsbergen, MG Kebede, J Baugh, T Van Engers, ... Procedia Computer Science 198, 140-147, 2022 | 12 | 2022 |
| Derivation representation using binary subtree sets E Scott, A Johnstone, LT Van Binsbergen Science of Computer Programming 175, 63-84, 2019 | 10 | 2019 |
| GLL parsing with flexible combinators LT van Binsbergen, E Scott, A Johnstone Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018 | 10 | 2018 |
| Purely functional GLL parsing LT van Binsbergen, E Scott, A Johnstone Journal of Computer Languages 58, 100945, 2020 | 9 | 2020 |
| A generic back-end for exploratory programming D Frolich, LT van Binsbergen Trends in Functional Programming: 22nd International Symposium, TFP 2021 …, 2021 | 8 | 2021 |
| Linearly ordered attribute grammars: With automatic augmenting dependency selection LT van Binsbergen, J Bransen, A Dijkstra Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015 | 8 | 2015 |
| Exploring the enforcement of private, dynamic policies on medical workflow execution CA Esterhuyse, T Müller, LT Van Binsbergen, ASZ Belloum 2022 IEEE 18th International Conference on e-Science (e-Science), 481-486, 2022 | 5 | 2022 |
| Executable formal specification of programming languages with reusable components LT van Binsbergen Royal Holloway, University of London, 2019 | 5 | 2019 |
| iCoLa: A compositional meta-language with support for incremental language development D Frölich, LT van Binsbergen Proceedings of the 15th ACM SIGPLAN International Conference on Software …, 2022 | 4 | 2022 |
| eFLINT implementation on Git-Lab LT van Binsbergen | 4 | 2020 |
| Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper) LT van Binsbergen Proceedings of the 17th ACM SIGPLAN International Conference on Generative …, 2018 | 4 | 2018 |
| Making the Invisible Visible in Computational Notebooks MV Merino, LT van Binsbergen, M Seraj 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2022 | 3 | 2022 |
| Linearly ordered attribute grammar scheduling using SAT-solving J Bransen, LT van Binsbergen, K Claessen, A Dijkstra Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 3 | 2015 |
| DPCL: a language template for normative specifications G Sileno, T van Binsbergen, M Pascucci, T van Engers arXiv preprint arXiv:2201.04477, 2022 | 2 | 2022 |
T.M. van EngersLeibniz Center for Law, University of Amsterdam在 uva.nl 的电子邮件经过验证
