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} }