The Systematic Construction of a One-Combinator Basis for Lambda-Terms. - Jeroen Fokker (Formal Aspects Comput., 1992)

Functional Parsers. - Jeroen Fokker (Advanced Functional Programming, 1995)

Explaining Algebraic Theory with Functional Programs. - Jeroen Fokker (FPLE, 1995)

Functional Specification of JPEG Decompression, and an Implementation for Free. - Jeroen Fokker (Eurographics Workshop on Programming Paradigms in Graphics, 1995)

The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. - Atze Dijkstra; Jeroen Fokker; S. Doaitse Swierstra (IFL, 2007)

Abstract Interpretation of Functional Programs using an Attribute Grammar System. - Jeroen Fokker; S. Doaitse Swierstra (LDTA, 2008)

The architecture of the Utrecht Haskell compiler. - Atze Dijkstra; Jeroen Fokker; S. Doaitse Swierstra (Haskell, 2009)

The chess example in Turing's Mind paper is really about ambiguity. - Jeroen Fokker (Turing-100, 2012)

Learning C# by Programming Games. - Arjan Egges; Jeroen Fokker; Mark H. Overmars (Springer, 2013)