Fresh objective caml user manual (2005)
by
Mark R. Shinwell
,
Cambridge Cb Fd
,
C Mark R. Shinwell
,
Andrew M. Pitts
,
Andrew M. Pitts
| Citations: | 10 - 4 self |
BibTeX
@TECHREPORT{Shinwell05freshobjective,
author = {Mark R. Shinwell and Cambridge Cb Fd and C Mark R. Shinwell and Andrew M. Pitts and Andrew M. Pitts},
title = {Fresh objective caml user manual},
institution = {},
year = {2005}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Number 621
Citations
| 174 | A new approach to abstract syntax with variable binding. Formal Aspects of Computing 13 - GABBAY, PITTS - 2001 |
| 81 | A metalanguage for programming with bound names modulo renaming - Pitts, Gabbay - 2000 |
| 68 | FreshML: Programming with Binders Made Simple - Shinwell, Pitts, et al. - 2003 |
| 17 | The Fresh Approach: Functional Programming with Names and Binders - Shinwell |
| 4 | On a monadic semantics for freshness. Theoretical Computer Science, 342:28–55, 2005. A Existence Proof Let Rel be the set of finitely supported relations R ⊆ O×obj such that {d | d R b} forms an admissible subset of O, for all b ∈ obj. Lemma A1 (Admissibi - Shinwell, Pitts |
| 3 | The Objective Caml System. Institut National de Recherche en Informatique et en Automatique - Leroy, Doligez - 2004 |
