Weak Optimality, and the Meaning of Sharing

Thibaut Balabonski 1
1 GALLIUM - Programming languages, types, compilation and proofs
Inria Paris-Rocquencourt
Type de document :
Communication dans un congrès
International Conference on Functional Programming (ICFP), Sep 2013, Boston, United States. pp.263-274, 2013, <10.1145/2500365.2500606>
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-00907056
Contributeur : Thibaut Balabonski <>
Soumis le : mercredi 20 novembre 2013 - 17:10:03
Dernière modification le : mercredi 14 décembre 2016 - 01:07:56

Identifiants

Collections

INRIA

Citation

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

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

74

Contact


archive-ouverte@inria.fr