Intersection types fit well with resource control - ENS de Lyon - École normale supérieure de Lyon
Conference Papers Year : 2015

Intersection types fit well with resource control

Silvia Ghilezan
  • Function : Author
  • PersonId : 916066
Jelena Ivetic
  • Function : Author
  • PersonId : 916067
Silvia Likavec
  • Function : Author
  • PersonId : 916068
No 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⟩
68 View
0 Download

Share

More