Skip to Main content Skip to Navigation
Conference papers

Intersection types fit well with resource control

Pierre Lescanne 1 Silvia Ghilezan 2 Jelena Ivetic 2 Silvia Likavec 3 
1 LIP - Laboratoire de l'Informatique du Parallélisme
2 Faculty of engineering, University of Novi Sad
3 Dipartimento di Informatica [Torino]
Document type :
Conference papers
Complete list of metadata
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01892569
Contributor : Pierre Lescanne Connect in order to contact the contributor
Submitted on : Wednesday, October 10, 2018 - 4:38:03 PM
Last modification on : Thursday, September 29, 2022 - 2:58:07 PM

Identifiers

  • HAL Id : ensl-01892569, version 1

Collections

ENS-LYON | CNRS | INRIA | UNIV-LYON1 | INSMI | LIP_PLUME | UDL

Citation

Pierre Lescanne, Silvia Ghilezan, Jelena Ivetic, Silvia Likavec. Intersection types fit well with resource control. 21st International Conference on Types for Proofs and Programs, May 2015, Tallinn, Estonia. ⟨ensl-01892569⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

51