A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts
Publication date
2016
Authors
Swierstra, S. Doaitse
Viera, Marcos
Dijkstra, A.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Citation
Swierstra, S D, Viera, M & Dijkstra, A 2016, A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. Technical Report Series, no. UU-CS-2016-012, Department of Information and Computing Sciences, Utrecht University, Utrecht.