Department of Computer Science and Technology

Technical reports

Introduction to Poly

D.C.J. Matthews

May 1982, 24 pages

DOI: 10.48456/tr-29


This report is a tutorial introduction to the programming language Poly. It describes how to write and run programs in Poly using the VAX/UNIX implementation. Examples given include polymorphic list functions, a double precision integer package and a subrange type constructor.

Full text

PDF (1.0 MB)

BibTeX record

  author =	 {Matthews, D.C.J.},
  title = 	 {{Introduction to Poly}},
  year = 	 1982,
  month = 	 may,
  url = 	 {},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-29},
  number = 	 {UCAM-CL-TR-29}