An implementation of Caml Light with existential types (bibtex)
by Michel Mauny, François Pottier
Reference:
M. Mauny, F. Pottier, "An implementation of Caml Light with existential types", INRIA, Rep. 2183, 1993.
Bibtex Entry:
@techreport{Mauny-Pottier-1993,
author  =       {Michel Mauny and Fran\c{c}ois Pottier},
title   =       {An implementation of {Caml Light} with existential
                types},
number  =       2183,
institution=    {INRIA},
year    =       1993,
url     =       {http://www.mauny.net/data/papers/mauny-pottier-1993.pdf},
}
Powered by bibtexbrowser