Travelled to:
1 × India
1 × USA
1 × United Kingdom
Collaborated with:
J.Bransen A.Dijkstra ∅ E.Scott A.Johnstone K.Claessen Duncan Mitchell Blake Loring J.Kinder
Talks about:
attribut (2) grammar (2) linear (2) short (2) paper (2) order (2) cryptograph (1) fundament (1) construct (1) schedul (1)
Person: L. Thomas van Binsbergen
DBLP: Binsbergen:L=_Thomas_van
Contributed to:
Wrote 5 papers:
- PEPM-2015-BinsbergenBD #attribute grammar #automation #dependence #order
- Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection (LTvB, JB, AD), pp. 49–60.
- TACAS-2015-BransenBCD #attribute grammar #order #scheduling #using
- Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving (JB, LTvB, KC, AD), pp. 289–303.
- GPCE-2018-Binsbergen #generative #metaprogramming
- Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper) (LTvB), pp. 168–174.
- SLE-2018-BinsbergenSJ #combinator #flexibility #gll #parsing
- GLL parsing with flexible combinators (LTvB, ES, AJ), pp. 16–28.
- PEPM-2018-MitchellBLK #api #composition #encryption
- Checking cryptographic API usage with composable annotations (short paper) (DM, LTvB, BL, JK), pp. 53–59.