Technical reports
Introduction to Poly
D.C.J. Matthews
May 1982, 24 pages
DOI: 10.48456/tr-29
Abstract
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
@TechReport{UCAM-CL-TR-29, author = {Matthews, D.C.J.}, title = {{Introduction to Poly}}, year = 1982, month = may, url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-29.pdf}, institution = {University of Cambridge, Computer Laboratory}, doi = {10.48456/tr-29}, number = {UCAM-CL-TR-29} }