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 : Thursday, November 21, 2019 - 2:24:17 AM
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⟩