Skip to Main content Skip to Navigation
Conference papers

Intersection types fit well with resource control

Complete list of metadatas

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

Identifiers

  • HAL Id : ensl-01892569, version 1

Collections

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⟩

Share

Metrics

Record views

60