Proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS'12) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2013

Dates and versions

hal-00912611 , version 1 (02-12-2013)

Identifiers

Cite

Stéphane Graham-Lengrand, Luca Paolini. Proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS'12). EPTCS, 121, pp.1--93, 2013, ⟨10.4204/EPTCS.121⟩. ⟨hal-00912611⟩
133 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More