A typed store-passing translation for general references - Archive ouverte HAL Access content directly
Conference Papers Year :

A typed store-passing translation for general references

(1)
1
François Pottier

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.

Dates and versions

hal-01081187 , version 1 (07-11-2014)

Identifiers

• HAL Id : hal-01081187 , version 1
• DOI :

Cite

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⟩

81 View