A typed store-passing translation for general references

Abstract : 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.
Type de document :
Communication dans un congrès
POPL 2011: 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Jan 2011, Austin, United States. <10.1145/1925844.1926403>
Liste complète des métadonnées


https://hal.inria.fr/hal-01081187
Contributeur : François Pottier <>
Soumis le : vendredi 7 novembre 2014 - 11:36:38
Dernière modification le : jeudi 8 octobre 2015 - 01:03:58
Document(s) archivé(s) le : dimanche 8 février 2015 - 10:21:32

Fichier

fpottier-fork.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

François Pottier. A typed store-passing translation for general references. POPL 2011: 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Jan 2011, Austin, United States. <10.1145/1925844.1926403>. <hal-01081187>

Partager

Métriques

Consultations de
la notice

94

Téléchargements du document

54