Browsing Computer Science (PhD Theses) by Author "Verbruggen, Wilhelmina Johanna"
Now showing items 1-1 of 1
- Sort by:
- title
- issue date
- submit date
- Order:
- ascending
- descending
- Results:
- 5
- 10
- 20
- 40
- 60
- 80
- 100
-
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 ...