Publications
2013
Scholarly publications
Egges, J., Fokker, J. D., & Overmars, M. H. (2013). Learning C# by programming games. (Lecture Notes in Computer Science ed.) Springer. http://www.csharpprogramminggames.com
2012
Scholarly publications
Fokker, J. D. (2012). The chess example in Turing's Mind paper is really about ambiguity. In A. Voronkov (Ed.), Turing-100, The Alan Turing Centenary (pp. 92-97)
2009
Scholarly publications
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). ACM.
Swierstra, S. D., & Fokker, J. D. (2009). Abstract Interpretation of Functional Programs using an Attribute Grammar System. Electronic Notes in Theoretical Computer Science, 238(5), 117-133.
2008
Scholarly publications
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 ETAPS.
2007
Scholarly publications
Fokker, J. D., & Swierstra, S. D. (2007). Abstract Interpretation of Functional Programs using an Attribute Grammar System. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2007-049.html
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). Computing Laboratory, University of Kent.
2001
Professional publications
Fokker, J. D. (2001). Boeken over Alan Turing. TINFON, 10:1.
1989
Scholarly publications
Fokker, J. D. (1989). The systematic construction of a one-combinator basis. (RUU-CS ed.) Unknown Publisher. http://www.cs.uu.nl/research/techreps/RUU-CS-89-14.html