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

Prasetya, S.W.B., Elyasov, A., Middelkoop, A. & Hage, J. (2012). FITTEST Log Format (version 1.1). : Department of Information and Computing Sciences, Utrecht University.

Middelkoop, A., Elyasov, A. & Prasetya, S.W.B. (2012). Functional Instrumentation of ActionScriptPrograms with ASIL. In A. Gill & J. Hage (Eds.), International Symposium on Implementation and Application of Functional Languages (IFL), 2011. Springer.

Middelkoop, A. (2012, January 9). Inference of Program Properties with Attribute Grammars, Revisited. UU Universiteit Utrecht (287 pag.) ( Utrecht University). Prom./coprom.: prof. dr. S.D. Swierstra & dr. A. Dijkstra.

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 Workshop on Generative Technologies Vol. 264. Electron. Notes Theor. Comput. Sci. (pp. 47-69). Amsterdam: Elsevier Science Publishers B. V..

Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2011). Visitor-based Attribute Grammars with Side Effect. Electronical Notes in Theoretical Computer Science, 264(5), 47-69.

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. (2010). Visit Functions for the Semantics of Programming Languages. In Workshop On Generative Technologies 2010.

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-CS2007-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-CS2007-027 ). onbekend: UU WINFI Informatica en Informatiekunde.