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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/hal-01081187
Contributor : François Pottier <>
Submitted on : Friday, November 7, 2014 - 11:36:38 AM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM
Document(s) archivé(s) le : Sunday, February 8, 2015 - 10:21:32 AM

File

fpottier-fork.pdf
Files produced by the author(s)

Identifiers

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⟩

Share

Metrics

Record views

140

Files downloads

86