Browsing Computer Science (PhD Theses) by Author "Verbruggen, Wilhelmina Johanna"
Now showing items 1-1 of 1
-
Formal polytypic programs and proofs
Verbruggen, Wilhelmina Johanna (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2010)Polytypic or datatype-generic programming is a form of generic programming where we abstract over the shape of datatypes: we define functions by induction over the structure of datatypes. In this thesis we show how to ...