The Language PCF

  • Gilles DowekEmail author
  • Jean-Jacques Lévy
Part of the Undergraduate Topics in Computer Science book series (UTICS)


This chapter introduces a specific programming language called PCF (and sometimes mini-ML). This language is one of the backbones of the book. It will be evaluated, interpreted, compiled, and extended (with types, references, records and objects) in the rest of the book. This chapter focuses on giving an informal description of the language, defining its small-step and big-step operational semantics and culminates with the implementation of an evaluator for this language.

Copyright information

© Springer-Verlag London Limited 2011

Authors and Affiliations

  1. 1.Labo. d’InformatiqueÉcole polytechniquePalaiseauFrance
  2. 2.Centre de Recherche Commun, INRIA-Microsoft ResearchParc Orsay UniversitéOrsay CedexFrance

Personalised recommendations