Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction

Abstract

This article is the second part of a two articles series about the definition of higher order polymorphic functions in a type system with recursive types and set-theoretic type connectives (unions, intersections, and negations).