S. Doaitse Swierstra

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

2016 · arXiv (Cornell University)

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. We motivate an extension of System-F alleviating this …