L. Thomas van Binsbergen

Cited by

	All	Since 2019
Citations	386	334
h-index	9	9
i10-index	9	9

20152016201720182019202020212022202320244 7 16 23 40 43 58 60 64 64

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

T.M. van EngersLeibniz Center for Law, University of AmsterdamVerified email at uva.nl
Alex GerdesSenior Lecturer, Gothenburg University / ChalmersVerified email at chalmers.se
Bastiaan HeerenOpen University of the NetherlandsVerified email at ou.nl
Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht UniversityVerified email at uu.nl
Mauricio Verano MerinoAssistant professor, Vrije Universiteit AmsterdamVerified email at tue.nl
Damian FrolichPhD candidate, University of AmsterdamVerified email at uva.nl
Benoit CombemaleFull Professor of Software Engineering, University of Rennes, IRISA & ESIRVerified email at irisa.fr
Olivier BaraisUniversity of Rennes / IRISA / INRIAVerified email at irisa.fr
Neil SculthorpeNottingham Trent UniversityVerified email at ntu.ac.uk
Pierre JeanjeanPhD StudentVerified email at inria.fr
Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Verified email at cwi.nl
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
MG KebedeUniversity of AmsterdamVerified email at uva.nl
Jeroen BransenUtrecht UniversityVerified email at uu.nl
Atze DijkstraAssistant Professor, Utrecht UniversityVerified email at atzedijkstra.net
Christopher A. EsterhuyseUniversity of AmsterdamVerified email at uva.nl
Tim MüllerUniversity of AmsterdamVerified email at uva.nl
A.S.Z. BelloumUniversity of AmsterdamVerified email at uva.nl
Joshua BaughPhD Candidate, Prinses Maxima CentrumVerified email at prinsesmaximacentrum.nl
Mazyar SerajUniversity Lecturer and Researcher, Eindhoven University of TechnologyVerified email at tue.nl

L. Thomas van Binsbergen

Other namesThomas van Binsbergen

University of Amsterdam

Verified email at acm.org - Homepage

Executable Norm Specifications Data Exchange Systems Modular Semantics Functional Programming


Title Sort by citations Sort by year Sort by 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, 65-100, 2017	143	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	49	2020
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	30	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	23	2016
Executable component-based semantics LT van Binsbergen, PD Mosses, N Sculthorpe Journal of Logical and Algebraic Methods in Programming 103, 184-212, 2019	20	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	18	2022
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	16	2014
Derivation representation using binary subtree sets E Scott, A Johnstone, LT Van Binsbergen Science of Computer Programming 175, 63-84, 2019	10	2019
GLL parsing with flexible combinators LT van Binsbergen, E Scott, A Johnstone Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018	10	2018
A generic back-end for exploratory programming D Frolich, LT van Binsbergen Trends in Functional Programming: 22nd International Symposium, TFP 2021 …, 2021	9	2021
Purely functional GLL parsing LT van Binsbergen, E Scott, A Johnstone Journal of Computer Languages 58, 100945, 2020	9	2020
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	8	2022
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	8	2015
Executable formal specification of programming languages with reusable components LT van Binsbergen Royal Holloway, University of London, 2019	5	2019
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	4	2022
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	4	2022
eFLINT implementation on Git-Lab LT van Binsbergen	4	2020
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	4	2018
DPCL: a language template for normative specifications G Sileno, T van Binsbergen, M Pascucci, T van Engers arXiv preprint arXiv:2201.04477, 2022	3	2022
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	3	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors