ask others

L. Thomas van Binsbergen

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/BinsbergenMS19
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/BinsbergenMS19
L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe:
Executable component-based semantics. J. Log. Algebr. Meth. Program. 103: 184-212 (2019)
2018
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gpce/Binsbergen18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gpce/Binsbergen18
L. Thomas van Binsbergen:
Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper). GPCE 2018: 168-174
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pepm/MitchellBLK18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pepm/MitchellBLK18
Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder:
Checking cryptographic API usage with composable annotations (short paper). PEPM 2018: 53-59
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sle/BinsbergenSJ18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sle/BinsbergenSJ18
L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone:
GLL parsing with flexible combinators. SLE 2018: 16-28
2017
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/aiedu/GerdesHJB17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/aiedu/GerdesHJB17
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen:
Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. I. J. Artificial Intelligence in Education 27(1): 65-100 (2017)
2016
[c4]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/aosd/BinsbergenSM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aosd/BinsbergenSM16
L. Thomas van Binsbergen, Neil Sculthorpe, Peter D. Mosses:
Tool support for component-based semantics. MODULARITY (Companion) 2016: 8-11
2015
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pepm/BinsbergenBD15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pepm/BinsbergenBD15
L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra:
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. PEPM 2015: 49-60
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/BransenBCD15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/BransenBCD15
Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra:
Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. TACAS 2015: 289-303
2014
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cserc/JeuringBGH14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cserc/JeuringBGH14
Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren:
Model solutions and properties for diagnosing student programs in Ask-Elle. CSERC 2014: 31-40

Coauthor Index

see FAQ

maintained by

, founded at