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 metadatas
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01892569
Contributor : Pierre Lescanne <>
Submitted on : Wednesday, October 10, 2018 - 4:38:03 PM
Last modification on : Saturday, May 18, 2019 - 6:20:50 PM

Identifiers

  • HAL Id : ensl-01892569, version 1

Collections

ENS-LYON | INSMI | UNIV-LYON1 | INRIA | LIP | LIP_PLUME

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

Share

Metrics

Record views

51

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD