A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts
Publication date
2016
Authors
Swierstra, S.D.
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.