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

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.
Fichier principal
Vignette du fichier
fpottier-fork.pdf (321.11 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

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⟩

Collections

INRIA INRIA2
81 View
106 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More