Follow
L. Thomas van Binsbergen
Title
Cited by
Cited by
Year
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
952017
Tool support for component-based semantics
LT Binsbergen, N Sculthorpe, PD Mosses
Companion Proceedings of the 15th International Conference on Modularity, 8-11, 2016
152016
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
142014
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
122020
Executable component-based semantics
LT van Binsbergen, PD Mosses, N Sculthorpe
Journal of logical and algebraic methods in programming 103, 184-212, 2019
112019
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
82020
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
72015
GLL parsing with flexible combinators
LT van Binsbergen, E Scott, A Johnstone
Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018
62018
Derivation representation using binary subtree sets
E Scott, A Johnstone, LT van Binsbergen
Science of Computer Programming 175, 63-84, 2019
42019
Purely functional GLL parsing
LT van Binsbergen, E Scott, A Johnstone
Journal of Computer Languages 58, 100945, 2020
32020
Executable formal specification of programming languages with reusable components
LT van Binsbergen
Royal Holloway, University of London, 2019
32019
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
32018
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
22015
Dynamic generation of access control policies from social policies
LT van Binsbergen, MG Kebede, J Baugh, T van Engers, DG van Vuurden
Procedia Computer Science 198, 140-147, 2022
12022
A generic back-end for exploratory programming
D Frolich, L Binsbergen
International Symposium on Trends in Functional Programming, 24-43, 2021
12021
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
12017
Reflections on the design and application of eFLINT
LT van Binsbergen
2022
Towards Incremental Language Definition with Reusable Components
D Frölich, LT van Binsbergen
2021
Funcons for HGMP
LT van Binsbergen
2018
Fine-tuned Scheduling of Linear Ordered Attribute Grammars
LT van Binsbergen
Utrecht University, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20