L. Thomas van Binsbergen

Registered user since Tue 9 Dec 2014

Name:L. Thomas van Binsbergen

Thomas van Binsbergen is investigating modular techniques for the specification of the semantics and syntax of software languages and is applying these techniques for the development of meta-languages and domain-specific languages. Recent topics of interest include fundamental programming construct specification (funcons), incremental and exploratory programming environments (such as REPLs and notebooks), and domain-specific languages in the context of distributed data processing.

Van Binsbergen has developed modular techniques for describing the semantics of programming languages as part of the PLanCompS project with Peter Mosses and parser combinators for generalised top-down parsing with Adrian Johnstone and Elizabeth Scott. The results are described in his PhD thesis titled “Executable Formal Specification of Programming Languages with Reusable Components” (http://ltvanbinsbergen.nl/thesis/thesis.pdf).

Keywords: modular language definition, domain-specific languages, formal specification, modelling languages, policy-enhanced data-sharing, generalised top-down parsing, declarative programming, purely functional programming, I-MSOS, FunCons, attribute grammars, computer science education

Affiliation:University of Amsterdam
Research interests:Programming Languages, Software Languages, Domain-Specific Languages, Meta-Languages, Semantics, Syntax


PAINT 2023 Committee Member in Program Committee within the PAINT-track
SLE 2023 Committee Member in Program Committee within the SLE 2023-track
SPLASH 2023 Committee Member in Program Committee within the Onward! Papers-track
PLNL 2023 Organizing Chair in Organizing Committee within the PLNL 2023-track
Committee Member in Program Committee within the PLNL 2023-track
SLE 2022 Author of iCoLa: A Compositional Meta-language with Support for Incremental Language Development within the SLE 2022-track
Author of A Language-Parametric Approach to Exploratory Programming Environments within the SLE 2022-track
VL/HCC 2022 Author of Making the Invisible Visible in Computational Notebooks within the Posters and Showpieces-track
ProLaLa 2022 Author of Reflections on the design and application of eFLINT within the ProLaLa Programming Languages and the Law-track
SPLASH 2020 Author of A principled approach to REPL interpreters within the Onward! Papers-track
GPCE 2020 Author of eFLINT: A Domain-Specific Language for Executable Norm Specifications within the GPCE-track
SLE 2018 Author of GLL Parsing with Flexible Combinators within the SLE 2018-track
GPCE 2018 Author of Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative Meta-Programming (Short paper) within the GPCE 2018-track
PEPM 2018 Author of Checking Cryptographic API Usage with Composable Annotations (Short Paper) within the PEPM 2018-track
Parsing@SLE 2016 Author of Generalised Parsing and Combinator Parsing: a Happy Marriage? within the Parsing@SLE-track
Modularity 2016 Author of Tool Support for Component-Based Semantics (second presentation) within the Demos & Posters-track
Author of Tool Support for Component-Based Semantics within the Demos & Posters-track
PEPM 2015 Author of Linearly Ordered Attribute Grammars within the PEPM 2015-track