Technical reports

Fresh Objective Caml user manual

Mark R. Shinwell, Andrew M. Pitts

February 2005, 21 pages

DOI: 10.48456/tr-621

Abstract

This technical report is the user manual for the Fresh Objective Caml system, which implements a functional programming language incorporating facilities for manipulating syntax involving names and binding operations.

Full text

PDF (0.2 MB)

BibTeX record

@TechReport{UCAM-CL-TR-621,
  author =	 {Shinwell, Mark R. and Pitts, Andrew M.},
  title = 	 {{Fresh Objective Caml user manual}},
  year = 	 2005,
  month = 	 feb,
  url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-621.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-621},
  number = 	 {UCAM-CL-TR-621}
}