Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download
Contributor : François Pottier Connect in order to contact the contributor
Submitted on : Friday, November 7, 2014 - 11:36:38 AM
Last modification on : Friday, January 21, 2022 - 3:14:15 AM
Long-term archiving on: : Sunday, February 8, 2015 - 10:21:32 AM


Files produced by the author(s)




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⟩



Les métriques sont temporairement indisponibles