Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.

Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergue Lenglet, Luca Padovani

Browse the full POPL paper archive.