Arie Middelkoop

According to our database, Arie Middelkoop authored at least 12 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars.

Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Practical Aspects of Declarative Languages, 2012

UUAG meets AspectAG: how to make attribute grammars first-class.

Marcos Viera, S. Doaitse Swierstra, Arie Middelkoop

Proceedings of the International Workshop on Language Descriptions, 2012

2011

Stepwise evaluation of attribute grammars.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Language Descriptions, Tools and Applications, 2011

Functional Instrumentation of ActionScript Programs with Asil.

Arie Middelkoop, Alexander B. Elyasov, Wishnu Prasetya

Proceedings of the Implementation and Application of Functional Languages, 2011

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

Visitor-based Attribute Grammars with Side Effect.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Second Workshop on Generative Technologies, 2010

Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair.

Annette Bieniusa, Arie Middelkoop, Peter Thiemann

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Dependently Typed Attribute Grammars.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Implementation and Application of Functional Languages, 2010

Iterative type inference with attribute grammars.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Generative Programming And Component Engineering, 2010

2008

A Leaner Specification for GADTs.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

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

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

A generic usage analysis with subeffect qualifiers.

Jurriaan Hage, Stefan Holdermans, Arie Middelkoop

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007