L. Thomas van Binsbergen
Cited by
Cited by
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 (1), 65-100, 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
Tool support for component-based semantics
LT Binsbergen, N Sculthorpe, PD Mosses
Companion Proceedings of the 15th International Conference on Modularity, 8-11, 2016
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
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
Executable component-based semantics
LT van Binsbergen, PD Mosses, N Sculthorpe
Journal of logical and algebraic methods in programming 103, 184-212, 2019
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
GLL parsing with flexible combinators
LT van Binsbergen, E Scott, A Johnstone
Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018
A generic back-end for exploratory programming
D Frolich, L Binsbergen
International Symposium on Trends in Functional Programming, 24-43, 2021
Purely functional GLL parsing
LT van Binsbergen, E Scott, A Johnstone
Journal of Computer Languages 58, 100945, 2020
Derivation representation using binary subtree sets
E Scott, A Johnstone, LT van Binsbergen
Science of Computer Programming 175, 63-84, 2019
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
Executable formal specification of programming languages with reusable components
LT van Binsbergen
Royal Holloway, University of London, 2019
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
Linearly ordered attribute grammar scheduling using SAT-solving
J Bransen, L Binsbergen, K Claessen, A Dijkstra
International Conference on Tools and Algorithms for the Construction and …, 2015
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
eFLINT implementation on Git-Lab
LT van Binsbergen
DPCL: a Language Template for Normative Specifications
G Sileno, T van Binsbergen, M Pascucci, T van Engers
arXiv preprint arXiv:2201.04477, 2022
Checking cryptographic api usage with composable annotations (short paper)
D Mitchell, LT van Binsbergen, B Loring, J Kinder
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program …, 2017
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
The system can't perform the operation now. Try again later.
Articles 1–20