A Type Checker for a Logical Framework with Union and Intersection Types (System Description).

Claude Stolze, Luigi Liquori

Browse the full FSCD paper archive.