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
Type  article-journal
Stage   published
Year   1996
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0956-7968
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 02793dbc-820d-4da9-864c-59c4f65989aa
API URL: JSON