@inproceedings{POPL-2014-Castagna0XILP,
author = "Giuseppe Castagna and Kim Nguyen and Zhiwu Xu and Hyeonseung Im and Sergueï Lenglet and Luca Padovani",
booktitle = "{Proceedings of the 41st Symposium on Principles of Programming Languages}",
doi = "10.1145/2535838.2535840",
editor = "Suresh Jagannathan and Peter Sewell",
isbn = "978-1-4503-2544-8",
pages = "5--18",
publisher = "{ACM}",
title = "{Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation}",
year = 2014,
}
Tags: