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
StudentArkel, D.F.R. (Diederik) van
ProgrammeMaster Computer Science
Year1998
Thesis Open Thesis PDF

Citation details

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