The Zinc Experiment: An Economical Implementation Of The Ml Language (1990)

Download:
ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/R
http://gallium.inria.fr/~xleroy/publi/ZINC.ps.gz
http://www.cs.rice.edu/~taha/teaching/04F/RAP/cach
CACHED:

by E De Recherche , Et En Automatique , Domaine De Voluceau , An Economical , Xavier Leroy , Xavier Leroy , Xavier Leroy

Add To MetaCart

Popular Tags

No tags have been applied to this document.

BibTeX | Add To MetaCart

@MISC{Recherche90thezinc,
    author = {E De Recherche and Et En Automatique and Domaine De Voluceau and An Economical and Xavier Leroy and Xavier Leroy and Xavier Leroy},
    title = {The Zinc Experiment: An Economical Implementation Of The Ml Language},
    year = {1990}
}

Bookmarks

OpenURL

Abstract:

This report details the design and implementation of the ZINC system. This is an implementation of the ML language, intended to serve as a test field for various extensions of the language, and for new implementation techniques as well. This system is strongly oriented toward separate compilation and the production of small, standalone programs

Citations

280	How to make ad-hoc polymorphism less ad-hoc – Wadler, Blott - 1989
116	Typechecking records and variants in a natural extension of ML – Rémy - 1989
99	The Implementation of Functional Programming Languages – Peyton-Jones - 1987
60	Using and Porting GNU CC. Free Software Foundation – Stallman - 1990
30	BigNum: A Portable and Efficient Package for Arbitrary-Precision Arithmetic – Serpette, Vuillemin, et al. - 1989
20	Compiling Pattern Matching by Term Decomposition – Puel, Suárez - 1993
11	Revised Report on SCHEME, a Dialect of LISP – Steele, Sussman - 1978
10	Alg`ebres Touffues. Application au Typage Polymorphe des Objects Enregistrements dans les Langages Fonctionnels. Th`ese de doctorat, Universit'e de Paris 7 – R'emy - 1990
3	Une Implementation de ML en ML. Th`ese de doctorat, Universit'e Paris VII – Su'arez - 1993
2	Etude de la g'en'eration de code du langage CAML et de son optimisation. M'emoire de D.E.A., Universit'e Paris VII – R'emy - 1987
2	Le syst`eme SAM: m'etacompilation tr`es efficace `a l'aide d'op'erateurs s'emantiques. Th`ese de doctorat, Universit'e Paris VII – Weis - 1987
2	et al. The CAML Reference Manual, version 2.6. INRIA – Weis - 1989

View or Download | Add to My Collection | Correct Errors