A generic usage analysis with subeffect qualifiers. - Jurriaan Hage; Stefan Holdermans; Arie Middelkoop (ICFP, 2007)

Report on the tenth ICFP programming contest. - Eelco Dolstra; Jurriaan Hage; Bastiaan Heeren; Stefan Holdermans; Johan Jeuring; Andres Löh; Clara Löh; Arie Middelkoop; Alexey Rodriguez; John van Schie (ICFP, 2008)

A Leaner Specification for GADTs. - Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (Trends in Functional Programming, 2008)

Iterative type inference with attribute grammars. - Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (GPCE, 2010)

Dependently Typed Attribute Grammars. - Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (IFL, 2010)

Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. - Annette Bieniusa; Arie Middelkoop; Peter Thiemann 001 (PODC, 2010)

Visitor-based Attribute Grammars with Side Effect. - Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (WGT@ETAPS, 2010)

A lean specification for GADTs: system F with first-class equality proofs. - Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (High. Order Symb. Comput., 2010)

Functional Instrumentation of ActionScript Programs with Asil. - Arie Middelkoop; Alexander B. Elyasov; Wishnu Prasetya (IFL, 2011)

Stepwise evaluation of attribute grammars. - Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (LDTA, 2011)

UUAG meets AspectAG: how to make attribute grammars first-class. - Marcos Viera; S. Doaitse Swierstra; Arie Middelkoop (LDTA, 2012)

The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. - Jeroen Bransen; Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (PADL, 2012)