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 : Saturday, May 18, 2019 - 6:20:50 PM

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

51