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
1322017
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
412020
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
272020
Tool support for component-based semantics
LT Binsbergen, N Sculthorpe, PD Mosses
Companion Proceedings of the 15th International Conference on Modularity, 8-11, 2016
222016
Executable component-based semantics
LT van Binsbergen, PD Mosses, N Sculthorpe
Journal of Logical and Algebraic Methods in Programming 103, 184-212, 2019
192019
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
162014
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
102022
Derivation representation using binary subtree sets
E Scott, A Johnstone, LT Van Binsbergen
Science of Computer Programming 175, 63-84, 2019
102019
GLL parsing with flexible combinators
LT van Binsbergen, E Scott, A Johnstone
Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018
102018
Purely functional GLL parsing
LT van Binsbergen, E Scott, A Johnstone
Journal of Computer Languages 58, 100945, 2020
92020
A generic back-end for exploratory programming
D Frolich, LT van Binsbergen
Trends in Functional Programming: 22nd International Symposium, TFP 2021 …, 2021
82021
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
82015
Executable formal specification of programming languages with reusable components
LT van Binsbergen
Royal Holloway, University of London, 2019
52019
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
42022
eFLINT implementation on Git-Lab
LT van Binsbergen
42020
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
42018
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
32022
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
32022
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
DPCL: a language template for normative specifications
G Sileno, T van Binsbergen, M Pascucci, T van Engers
arXiv preprint arXiv:2201.04477, 2022
22022
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20