 |
 |
 |
 |
Conference papers
Intersection types fit well with resource control
Pierre Lescanne 1
Author IdHAL : pierre-lescanne ORCID : https://orcid.org/0000-0001-9512-5276
Silvia Ghilezan 2
Author
Jelena Ivetic 2
Author
Silvia Likavec 3
Author
1
LIP - Laboratoire de l'Informatique du Parallélisme (46 Allée d'Italie 69364 LYON CEDEX 07 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5668 / URA1398 (France)
- Université de Lyon (92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- UCBL - Université Claude Bernard Lyon 1 (43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex - France)
- Université de Lyon (92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07 - France)
- ENS Lyon - École normale supérieure - Lyon (15 parvis René Descartes - BP 7000 - 69342 Lyon Cedex 07 - France)
2
Faculty of engineering, University of Novi Sad (Trg Dositeja Obradovića 5, 21000 Novi Sad - Serbia)
- University of Novi Sad (Novi Sad 402920, Serbia - Serbia)
3
Dipartimento di Informatica [Torino] (Università di Torino - Italy)
- UNITO - Università degli studi di Torino (Via Verdi, 8 10124 Torino Italie - Italy)
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 : Saturday, September 11, 2021 - 3:18:59 AM
Contributor : Pierre Lescanne Connect in order to contact the contributor
Submitted on : Wednesday, October 10, 2018 - 4:38:03 PM
Last modification on : Saturday, September 11, 2021 - 3:18:59 AM
Identifiers
- HAL Id : ensl-01892569, version 1
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⟩
Metrics
Record views