Intersection types fit well with resource control - ENS de Lyon - École normale supérieure de Lyon
Communication Dans Un Congrès Année : 2015

Intersection types fit well with resource control

Pierre Lescanne
Laboratoire de l'Informatique du Parallélisme
CV
Silvia Ghilezan
  • Fonction : Auteur
  • PersonId : 916066
Faculty of engineering
Jelena Ivetic
  • Fonction : Auteur
  • PersonId : 916067
Faculty of engineering
Silvia Likavec
  • Fonction : Auteur
  • PersonId : 916068
Dipartimento di Informatica [Torino]

Domaines

Logique en informatique [cs.LO] Logique [math.LO]

Pierre Lescanne  : Connectez-vous pour contacter le contributeur

https://ens-lyon.hal.science/ensl-01892569

Soumis le : mercredi 10 octobre 2018-16:38:03

Dernière modification le : mardi 12 novembre 2024-15:20:06

Fichier non déposé

Dates et versions

ensl-01892569 , version 1 (10-10-2018)

Identifiants

  • HAL Id : ensl-01892569 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 LIP_PLUME UDL
69 Consultations
0 Téléchargements

Partager

More