Technical reports

Fresh Objective Caml user manual

Mark R. Shinwell, Andrew M. Pitts

February 2005, 21 pages

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 = 	 {http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-621.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-621}
}