-
eFLINT: a Domain-Specific Language for Executable Norm Specifications.
Proceedings of GPCE '20
(November 2020).
L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, and Tom van Engers.
[DOI]
[Preprint]
[Video]
-
A principled approach to REPL interpreters.
Proceedings of Onward! '20
(October 2020).
L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais.
[DOI]
[Preprint]
[Video]
-
Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper).
Proceedings of GPCE '18
(November 2018).
L. Thomas van Binsbergen.
[DOI]
[Authorized access]
-
GLL parsing with flexible combinators.
Proceedings of SLE' 18
(October 2018).
L. Thomas van Binsbergen, Elizabeth Scott and Adrian Johnstone.
[DOI]
[Authorized access]
-
Checking cryptographic API usage with composable annotations (short paper).
Proceedings of PEPM '18
(December 2017).
Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring and Johannes Kinder.
[DOI]
[Authorized access]
-
Tool support for component-based semantics.
Companion proceedings of Modularity '16
(March 2016).
L. Thomas van Binsbergen, Neil Sculthorpe and Peter D. Mosses.
[DOI]
[Authorized access]
-
Linearly Ordered Attribute Grammars Scheduling Using SAT-Solving.
Proceedings of TACAS' 15
( 2015).
Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen and Atze Dijkstra.
[DOI]
-
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection.
Proceedings of PEPM' 15
(January 2015).
L. Thomas van Binsbergen, Jeroen Bransen and Atze Dijkstra.
[DOI]
[Authorized access]
-
Model solutions and properties for diagnosing student programs in Ask-Elle.
Proceedings of CSERC' 14
(November 2014).
Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes and Bastiaan Heeren.
[DOI]
[Authorized access]
-
Presentation at Jurix Workshop Frontier of Digital Enforceable Contracts (FDEC 2020):
Languages for prototyping regulated systems: A case study
(December 2020).
L. Thomas van Binsbergen, Lu-Chi Liu and Mostafa Mohajeri Parizi.
[Abstract]
[Slides]
-
Public presentation during Tenure Track interview:
Software languages for data exchange systems
(September 2020).
[Slides]
-
Invited talk at Ministry of Defence (Ministerie van Defensie):
Het formaliseren van wetten en verordeningen -- een overzicht
(July 2020).
L. Thomas van Binsbergen and Tom van Engers.
[Slides]
-
Presentation at TNO/ICTU seminar "Computers die redeneren met wetten; de eerste stappen":
eFLINT - Een modelleertaal voor het redeneren over normen
(March 2020).
L. Thomas van Binsbergen and Tom van Engers.
[Slides]
-
Presentation at ICT.OPEN 2020 (Cancelled):
Executable Component-Based Semantics
(March 2020).
L. Thomas van Binsbergen, Neil Sculthorpe and Peter D. Mosses.
[Slides]
-
Presentation at ICT.OPEN 2020 (Cancelled):
eFLINT -- An action-based language for reasoning about norms
(March 2020).
L. Thomas van Binsbergen and Tom van Engers.
[Abstract]
[Slides]
-
Invited talk at programming languages seminar TU Delft:
Generalised parsing with binary subtree representation
(April 2019).
[Slides]
-
Presentation at S-REPLS '18:
Formal, executable and reusable components for syntax specification
(May 2018).
[Slides]
-
Invited seminar talk at the University of Sussex:
The fundamental constructs of homogeneous generative meta-programming
(January 2018).
[Slides]
-
Presentation at Parsing@SLE '16 during SPLASH '16:
Generalised parsing and combinator parsing – a happy marriage?
(October 2016).
[Slides]
-
Presentation at the Haskell eXchange' 16:
combinators for generalised parsing
(October 2016).
[Slides]
[Video]
-
Invited talk at the 10th PL retreat TU Delft:
Executable Component-Based Semantics
(April 2016).
[Slides]
-
Invited seminar talk at Utrecht University:
Generalised parsing with parser combinators
(January 2016).
[Slides]
-
Internal presentation UvA/CWI:
A principled approach to REPL interpreters applied to eFLINT
(April 2020).
[Slides]
-
Presentation at CWI:
eFLINT -- A DSL for testing normative specifications
(November 2019).
L. Thomas van Binsbergen.
[Slides]
-
Guest lecture in 'Software Language Engineering' at Royal Holloway, University of London:
Funcons: basics of imperative programming.
(March 2016).