Intersection types fit well with resource control - ENS de Lyon - École normale supérieure de Lyon Access content directly
Conference Papers Year :
Not file

Dates and versions

ensl-01892569 , version 1 (10-10-2018)

Identifiers

  • HAL Id : ensl-01892569 , version 1

Cite

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⟩
53 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More