A typed store-passing translation for general references
Résumé
We present a store-passing translation of System $F$
with general references into an extension of System
$F_\omega$ with certain well-behaved recursive kinds.
This seems to be the first type-preserving
store-passing translation for general references. It
can be viewed as a purely syntactic account of a
possible worlds model.
Domaines
Langage de programmation [cs.PL]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...