A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts

S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra

Most type systems that support polymorphic functions are based on a version of System-F. We argue that this limits useful programming paradigms for languages with lazy evaluation.…