Simple Types for Polymorphic Functions

Barry Jay, Johannes Bader

This paper introduces a simple type system for combinatory logic in which combinators have at most one type, whose polymorphism is revealed by application. The combinatory types ex…