Concepedia

Fresh Objective Caml user manual

Mark R. Shinwell, Andrew M. Pitts

2021 · 26 citations · 4 references

DOIFull text

Open access

Concepts

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.

References

4

A New Approach to Abstract Syntax with Variable Binding

Murdoch J. Gabbay, Andrew M. Pitts · Formal Aspects of Computing · 2002 · 547 citations · Full text

, , +11

FreshML

Mark R. Shinwell, Andrew M. Pitts, Murdoch J. Gabbay · 2003 · 174 citations

, , +10

On a monadic semantics for freshness

Mark R. Shinwell, Andrew M. Pitts · Theoretical Computer Science · 2005 · 58 citations

, , +8

The Fresh Approach: functional programming with names and binders

Mark R. Shinwell · CL Technical Reports · 2021 · 50 citations · Full text

, , +13