Arie Middelkoop

12 papers A* 1A 2B 1C 1Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2012 C conf
The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars.
PADL
Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2012 — conf
UUAG meets AspectAG: how to make attribute grammars first-class.
LDTA
Marcos Viera, S. Doaitse Swierstra, Arie Middelkoop
2011 — conf
Functional Instrumentation of ActionScript Programs with Asil.
IFL
Arie Middelkoop, Alexander B. Elyasov, Wishnu Prasetya
2011 — conf
Stepwise evaluation of attribute grammars.
LDTA
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2010 J jnl
A lean specification for GADTs: system F with first-class equality proofs.
High. Order Symb. Comput.
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2010 A* conf
Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair.
PODC
Annette Bieniusa, Arie Middelkoop, Peter Thiemann
2010 — conf
Dependently Typed Attribute Grammars.
IFL
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2010 B conf
Iterative type inference with attribute grammars.
GPCE
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2010 — conf
Visitor-based Attribute Grammars with Side Effect.
WGT
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2008 — conf
A Leaner Specification for GADTs.
Trends in Functional Programming
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2008 A conf
Report on the tenth ICFP programming contest.
ICFP
Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie
2007 A conf
A generic usage analysis with subeffect qualifiers.
ICFP
Jurriaan Hage, Stefan Holdermans, Arie Middelkoop