BibTeX
CSL-JSON
MLA
Harvard
A syntactic theory of type generativity and sharing
release_g6bwvox7vbbwrhswei64eai65u
by
Xavier Leroy
Published
in Journal of functional programming by Cambridge University Press (CUP).
1996 Issue 05, p667-698
Abstract
<jats:title>Abstract</jats:title>This paper presents a purely syntactic account of type generativity and sharing – two key mechanisms in the SML module system – and shows its equivalence with the traditional stamp-based description of these mechanisms. This syntactic description recasts the SML module system in a more abstract, type-theoretic framework.
In application/xml+jats
format
Archived Files and Locations
application/pdf 550.6 kB
file_rxkesuwkl5bmxnkp2p36gvnnbi
|
hal.inria.fr (repository) web.archive.org (webarchive) |
application/pdf 130.8 kB
file_3aygl7ej2jdd3d3smz6niczuey
|
web.archive.org (webarchive) www-2.cs.cmu.edu (web) |
application/pdf 612.3 kB
file_gwy4pgpfljc5lhjvxvbmc2xsre
|
hal.inria.fr (repository) web.archive.org (webarchive) |
application/pdf 830.4 kB
file_zgac4aqv5nardjmy5snrucuhsq
|
hal.inria.fr (repository) web.archive.org (webarchive) |
application/pdf 298.0 kB
file_ywkpwm7jbnfg5d3xectfn7stfe
|
web.archive.org (webarchive) www-2.cs.cmu.edu:80 (web) |
application/pdf 299.0 kB
file_xusegveemvfvbcog6rrfybekwa
|
cristal.inria.fr (web) web.archive.org (webarchive) pauillac.inria.fr (web) web.archive.org (webarchive) web.archive.org (webarchive) + 2 more URLs |
Read Archived PDF
Preserved and Accessible
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar