Browsing Computer Science (Theses and Dissertations) 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 ...