Sort by: Order: Results:

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 ...