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
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
Executable component-based semantics
LT van Binsbergen, PD Mosses, N Sculthorpe
Journal of logical and algebraic methods in programming 103, 184-212, 2019
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
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
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
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
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, LT van Binsbergen, K Claessen, A Dijkstra
International Conference on Tools and Algorithms for the Construction and …, 2015
A Generic Back-End for Exploratory Programming
D Frolich, L Binsbergen
International Symposium on Trends in Functional Programming, 24-43, 2021
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
Dynamic generation of access control policies from social policies
LT van Binsbergena, MG Kebedea, J Baughb, T van Engersa, ...
Towards Incremental Language Definition with Reusable Components
D Frölich, LT van Binsbergen
Funcons for HGMP
LT van Binsbergen
Fine-tuned Scheduling of Linear Ordered Attribute Grammars
LT van Binsbergen
Utrecht University, 2014
An Intermediate Language for Efficient Interpretation of Implicitly Modular Structural Operational Semantics
LT van Binsbergen, N Sculthorpe, A Johnstone, E Scott
The system can't perform the operation now. Try again later.
Articles 1–20