Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical report UU-CS-2016-012

select other reports

report

techrep_id file title / author
UU-CS-2016-012 pdf A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts
Doaitse Swierstra, Marcos Viera and Atze Dijkstra

indexed authors

author group
Dijkstra, dr. A. all reports Software Technology all reports
Swierstra, prof. dr. (em.) S.D. all reports Software Technology all reports

BibTeX entry

@TECHREPORT{UUCS2016012,
author = {Swierstra, Doaitse and Viera, Marcos and Dijkstra, Atze},
year = 2016,
title = {A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts},
number = {UU-CS-2016-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-012.pdf}},
pubcat = {techreport}
}