Polymorphic functions with set-theoretic types
Giuseppe Castagna, Kim Ngoc Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani · 2014
This article is the first part of a two articles series about a calculus with higher-order polymorphic functions, recursive types with arrow and product type constructors and set-theoretic type connectives (union, intersection, and negation).