L. Thomas van Binsbergen

Cited by

	All	Since 2016
Citations	119	115
h-index	5	5
i10-index	3	3

2015201620172018201920203 4 18 21 41 31

Co-authors

Alex GerdesPh.D. candidate, Open Universiteit NederlandVerified email at uu.nl
Bastiaan HeerenOpen University of the NetherlandsVerified email at ou.nl
Johan JeuringProfessor of Software Technology for Learning and Teaching, Utrecht University and Open UniversiteitVerified email at uu.nl
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
Neil SculthorpeNottingham Trent UniversityVerified email at ntu.ac.uk
Jeroen BransenUtrecht UniversityVerified email at uu.nl
Atze DijkstraAssistant Professor, Utrecht UniversityVerified email at atzedijkstra.net
T.M. van EngersLeibniz Center for Law, University of AmsterdamVerified email at uva.nl
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
Mauricio Verano MerinoPhD student, Eindhoven University of TechnologyVerified email at tue.nl
Benoit CombemaleProfessor of Software Engineering at University of Rennes 1Verified email at irisa.fr
Pierre JeanjeanPhD StudentVerified email at inria.fr
Olivier BaraisUniversity of Rennes 1 / IRISA / INRIAVerified email at irisa.fr
Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Verified email at cwi.nl
Johannes KinderProfessor of Computer Science, Bundeswehr University MunichVerified email at unibw.de
Duncan MitchellRoyal Holloway, University of LondonVerified email at rhul.ac.uk
Blake LoringRoyal Holloway, University of LondonVerified email at parsed.uk

L. Thomas van Binsbergen

University of Amsterdam

Verified email at acm.org - Homepage

Executable Norm Specifications Runtime compliance checking Modular Semantics Functional Programming Computer Science educati


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 (1), 65-100, 2017	67	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	13	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	12	2014
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	7	2015
Executable component-based semantics LT van Binsbergen, PD Mosses, N Sculthorpe Journal of logical and algebraic methods in programming 103, 184-212, 2019	6	2019
GLL parsing with flexible combinators LT van Binsbergen, E Scott, A Johnstone Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018	4	2018
Derivation representation using binary subtree sets E Scott, A Johnstone, LT van Binsbergen Science of Computer Programming 175, 63-84, 2019	3	2019
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	2	2020
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	2	2015
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	1	2020
Purely Functional GLL Parsing LT van Binsbergen, E Scott, A Johnstone Journal of Computer Languages, 100945, 2020	1	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	1	2018
Executable Formal Specification of Programming Languages with Reusable Components LT van Binsbergen Royal Holloway, University of London, 2019		2019
Funcons for HGMP LT van Binsbergen		2018
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		2017
Fine-tuned Scheduling of Linear Ordered Attribute Grammars LT van Binsbergen Utrecht University, 2014		2014
An action-based language for reasoning about norms LT van Binsbergen, T van Engers
SOFTWARE VERSIONS LT van Binsbergen

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

Articles 1–18

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors