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

S.D. Swierstra, Marcos Viera, Atze Dijkstra

Research output: Book/Report › Report › Academic

Original language	English
Place of Publication	Utrecht
Publisher	Department of Information and Computing Sciences, Utrecht University
Number of pages	23
Publication status	Published - 2016

Name	Technical Report Series
Publisher	UU Beta ICS Departement Informatica
No.	UU-CS-2016-012
ISSN (Print)	0924-3275

Access to Document

@book{4fe9abcdb8154e5b9d9c341cc759ee8d,

title = "A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts",

author = "S.D. Swierstra and Marcos Viera and Atze Dijkstra",

year = "2016",

language = "English",

series = "Technical Report Series",

publisher = "Department of Information and Computing Sciences, Utrecht University",

number = "UU-CS-2016-012",

}

TY - BOOK

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

AU - Swierstra, S.D.

AU - Viera, Marcos

AU - Dijkstra, Atze

PY - 2016

Y1 - 2016

M3 - Report

T3 - Technical Report Series

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

PB - Department of Information and Computing Sciences, Utrecht University

CY - Utrecht

ER -