Segui
L. Thomas van Binsbergen
Titolo
Citata da
Citata da
Anno
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
1122017
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
242020
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
212020
Tool support for component-based semantics
LT Binsbergen, N Sculthorpe, PD Mosses
Companion Proceedings of the 15th International Conference on Modularity, 8-11, 2016
182016
Executable component-based semantics
LT van Binsbergen, PD Mosses, N Sculthorpe
Journal of logical and algebraic methods in programming 103, 184-212, 2019
172019
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
GLL parsing with flexible combinators
LT van Binsbergen, E Scott, A Johnstone
Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018
82018
A generic back-end for exploratory programming
D Frolich, LT van Binsbergen
Trends in Functional Programming: 22nd International Symposium, TFP 2021 …, 2021
72021
Purely functional GLL parsing
LT van Binsbergen, E Scott, A Johnstone
Journal of Computer Languages 58, 100945, 2020
72020
Derivation representation using binary subtree sets
E Scott, A Johnstone, LT Van Binsbergen
Science of Computer Programming 175, 63-84, 2019
72019
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
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
52022
Executable formal specification of programming languages with reusable components
LT van Binsbergen
Royal Holloway, University of London, 2019
52019
eFLINT implementation on Git-Lab
LT van Binsbergen
32020
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, LT van Binsbergen, K Claessen, A Dijkstra
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
32015
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
22022
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
12022
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
12022
DPCL: a language template for normative specifications
G Sileno, T van Binsbergen, M Pascucci, T van Engers
arXiv preprint arXiv:2201.04477, 2022
12022
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20