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

publications by drs. J.D. Fokker

• 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

drs. J.D. Fokker

• contact information
• my technical reports
• group software technology

some publications

Swierstra, S.D. & Fokker, J.D. (2009). Abstract Interpretation of Functional Programs using an Attribute Grammar System. Electron. Notes Theor. Comput. Sci., 238(5), 117-133.

Dijkstra, A., Fokker, J.D. & Swierstra, S.D. (2009). The architecture of the Utrecht Haskell compiler. In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (pp. 93-104). New York, NY, USA: ACM.

Fokker, J.D. & Swierstra, S.D. (2008). Abstract interpretation of functional programs using an attribute grammar system. In A. Johnstone (Ed.), Language descriptions, tools and applications. Budapest: ETAPS.

Fokker, J.D. & Swierstra, S.D. (2007). Abstract Interpretation of Functional Programs using an Attribute Grammar System. UU-CS 2007-049. onbekend: UU WINFI Informatica en Informatiekunde.

Dijkstra, A., Fokker, J.D. & Swierstra, S.D. (2007). The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. In O Chitil (Ed.), Implementation and Application of Functional Languages. 19th International Symposium, IFL 2007 (pp. 107-122). Canterbury, Kent, UK: Computing Laboratory, University of Kent.

Fokker, J.D. (2001). Boeken over Alan Turing. TINFON, 10:1.

Fokker, J.D. (Ed.). (2001). TINFON, 10.

Fokker, J.D. (1989). The systematic construction of a one-combinator basis. RUU-CS 89-14. Utrecht.