Technical reports

A new type-checker for a functional language

Jon Fairbairn

July 1984, 16 pages

DOI: 10.48456/tr-53

Abstract

A polymorphic type checker for the functional language Ponder [Fairbairn 82] is described. The initial sections give an overview of the syntax of Ponder, and some of the motivation behind the design of the type system. This is followed by a definition of the relation of ‘generality’ between these types, and of the notion of type-validity of Ponder programs. An algorithm to determine whether a Ponder program is type-valid is then presented. The final sections give examples of useful types which may be constructed within the type system, and describe some of the areas in which it is thought to be inadequate.

Full text

PDF (1.2 MB)

BibTeX record

@TechReport{UCAM-CL-TR-53,
  author =	 {Fairbairn, Jon},
  title = 	 {{A new type-checker for a functional language}},
  year = 	 1984,
  month = 	 jul,
  url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-53.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-53},
  number = 	 {UCAM-CL-TR-53}
}