Documentation and research · 2004–2005
The language, its semantics, and the case for freshness.
The recovered collection includes the original user manual, Mark Shinwell’s thesis and technical report, a presentation, and work on monadic semantics for freshness.
Presentation · May 2005
Open PDF ↗02Fresh Objective Caml: Nominal Abstract Syntax for the Masses
M.R. Shinwell
User manual · UCAM-CL-TR-621 · February 2005
Open PDF ↗03Fresh Objective Caml User Manual
M.R. Shinwell and A.M. Pitts
Technical report · UCAM-CL-TR-618 · February 2005
Open PDF ↗04The Fresh Approach: Functional Programming with Names and Binders
M.R. Shinwell
PhD thesis · February 2005
Open PDF ↗05The Fresh Approach: Functional Programming with Names and Binders
M.R. Shinwell
Research paper · 2004
Open PDF ↗On a Monadic Semantics for Freshness
M.R. Shinwell and A.M. Pitts