1 result  save search


hal-00907166v1  Conference papers
Giuseppe CastagnaKim NguyenZhiwu XuHyeonseung ImSergueï Lenglet et al.  Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation
POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, ⟨10.1145/2535838.2535840⟩