home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. A. Middelkoop

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. A. Middelkoop

• contact information
• my technical reports
• former member of group software technology

some publications

Bransen, J., Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2012). The Kennedy-Warren algorithm revisited: ordering Attribute Grammars. In C. Russo & N.-F. Zhou (Eds.), Practical Aspects of Declarative Languages Vol. 7149. Lecture Notes in Computer Science (pp. 183-197). Springer Berlin / Heidelberg.

Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2011). A lean specification for GADTs: system F with first-class equality proofs. Higher-Order and Symbolic Computation, 1-22.

Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2011). Dependently Typed Attribute Grammars. In IFL 2010 Vol. 6647. Lecture Notes in Computer Science. Springer Verlag AG.

Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2011). Stepwise evaluation of attribute grammars. In Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications (pp. 1-8). ACM.

Viera, M., Swierstra, S.D. & Middelkoop, A. (2011). UUAG Meets AspectAG- How to make Attribute Grammars First-Class. : Department of Information and Computing Sciences, Utrecht University.

Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2011). Visitor-based Attribute Grammars with Side Effect. In Vol. 264. Electron. Notes Theor. Comput. Sci. (pp. 47-69). Amsterdam: Elsevier Science Publishers B. V..

Bieniusa, A., Middelkoop, A. & Thiemann, P. (2010). Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. In Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing (pp. 71-72). New York, NY, USA: ACM.

Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2010). Iterative type inference with attribute grammars. In Proceedings of the ninth international conference on Generative programming and component engineering (pp. 43-52). New York, NY, USA: ACM.

Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2009). A Leaner Specification for GADTs. In P. Achten, P. Koopman & M.T. Moraz\'an (Eds.), Trends in Functional Programming (pp. 65-80). Intellect.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Löh, C., Middelkoop, A., Rodriguez Yakushev, A. & Schie, J. van (2008). Report on the tenth {ICFP} programming contest. In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (pp. 397-408). New York, NY, USA: ACM.

Hage, J., Holdermans, S. & Middelkoop, A. (2007). A generic usage analysis with subeffect qualifiers. In R. Hinze & N. Ramsey (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1--3 (pp. 235-246). ACM Press.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Middelkoop, A., Rodriguez Yakushev, A., Schie, J.C. van & Löh, C. (2007). Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming. UU-CS 2007-029. onbekend: UU WINFI Informatica en Informatiekunde.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Middelkoop, A., Rodriguez Yakushev, A., Schie, J.C. van & Löh, C. (2007). Morph Endo! Task description of the Tenth Interstellar Contest on Fuun Programming. UU-CS 2007-027. onbekend: UU WINFI Informatica en Informatiekunde.