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

Littérature citée [34 références]  Voir  Masquer  Télécharger

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

105

Téléchargements de fichiers

61