Intersection types fit well with resource control - ENS de Lyon - École normale supérieure de Lyon Accéder directement au contenu
Communication Dans Un Congrès Année : 2015
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⟩
55 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More