Master Computer Science



The following thesis was written by a student in the 1998 class of the Master Computer Science programme at Leiden University.


Thesis details

TitleAnnotated Types - A System for Constrained Datatypes in Functional Languages
StudentD.F.R. v. Arkel
ProgrammeMaster Computer Science
Year1998
Thesis Open Thesis PDF

Citation details

D.F.R. v. Arkel, Annotated Types - A System for Constrained Datatypes in Functional Languages, Thesis Master Computer Science, LIACS, Leiden University, 1998.