BibTeX
@MISC{Chailloux92programmingimages,
author = {Emmanuel Chailloux and Guy Cousineau},
title = {Programming Images in ML},
year = {1992}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper, we describe a library that provides basic types and functions to produce graphical documents in ML. This library is implemented on top of CAML [9] and CAML Light [8] in a functional style [7].
Citations
| 31 | Functional geometry - Henderson - 1982 |
| 29 | The Garnet Reference Manuals - al - 1994 |
| 6 | Zilles. Graphics in an applicative context - Lucas, Stephen - 1987 |
| 6 | Functional Programming using Caml Light - Mauny - 1995 |
| 5 | diagrams and 2-dimensional rewriting - Lafont, Penrose - 1992 |
| 4 | PostScript Language Reference Manual - Adobe - 1985 |
| 1 | Une oeuvre d'Escher en CAML. Tech. rep., " ' Ecole normale sup'erieure - Chambert-Loir, Granboulan, et al. - 1991 |
| 1 | Cours d'Informatique de l' ' Ecole Polytechnique - Cousot - 1988 |
| 1 | An Abstract Machine for the Normalization of -terms - egut, P - 1990 |
