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

Title Annotated Types - A System for Constrained Datatypes in Functional Languages
Student D.F.R. v. Arkel
Programme Master Computer Science
Year 1998
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, Leiden University, 1998.