Intersection types fit well with resource control - Archive ouverte HAL Access content directly
Conference Papers Year :

Intersection types fit well with resource control

(1) , (2) , (2) , (3)
1
2
3
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⟩
51 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More