Weak Optimality, and the Meaning of Sharing

Thibaut Balabonski 1
1 GALLIUM - Programming languages, types, compilation and proofs
Inria Paris-Rocquencourt
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-00907056
Contributor : Thibaut Balabonski <>
Submitted on : Wednesday, November 20, 2013 - 5:10:03 PM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM

Identifiers

Collections

INRIA | INRIA-ROCQ

Citation

Thibaut Balabonski. Weak Optimality, and the Meaning of Sharing. International Conference on Functional Programming (ICFP), Sep 2013, Boston, United States. pp.263-274, ⟨10.1145/2500365.2500606⟩. ⟨hal-00907056⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

146

Contact


archive-ouverte@inria.fr