Department of Computer Science and Technology

Technical reports

An overview of the Poly programming language

David C.J. Matthews

August 1986, 11 pages

DOI: 10.48456/tr-99


Poly is a general purpose programming language based on the idea of treating types as first class values. It can support polymorphic operations by passing types as parameters to procedures, and abstract types and parameterised types by returning types as results.

Although Poly is not intended specifically as a database programming language it was convenient to implement it is a persistent storage system. This allows the user to retain data structures from one session to the next, and can support large programming systems such as the Poly compiler and a Standard ML system.

Full text

PDF (0.5 MB)

BibTeX record

  author =	 {Matthews, David C.J.},
  title = 	 {{An overview of the Poly programming language}},
  year = 	 1986,
  month = 	 aug,
  url = 	 {},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-99},
  number = 	 {UCAM-CL-TR-99}