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]

Domains: Computer Science [cs]; Logic in Computer Science [cs.LO]; Mathematics [math]; Logic [math.LO]

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⟩