@mastersthesis{Bilson03,
    keywords	= {Cforall, parametric polymorphism, overloading},
    contributer	= {pabuhr@plg},
    author	= {Richard C. Bilson},
    title	= {Implementing Overloading and Polymorphism in Cforall},
    school	= {School of Computer Science, University of Waterloo},
    year	= 2003,
    address	= {Waterloo, Ontario, Canada, N2L 3G1},
    note	= {\href{http://plg.uwaterloo.ca/theses/BilsonThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-BilsonThesis.pdf}},
}

@phdthesis{Ditchfield92,
    keywords	= {C, parametric polymorphism, overloading},
    contributer	= {pabuhr@plg},
    author	= {Glen Jeffrey Ditchfield},
    title	= {Contextual Polymorphism},
    school	= {Department of Computer Science, University of Waterloo},
    year	= 1992,
    address	= {Waterloo, Ontario, Canada, N2L 3G1},
    note	= {\href{http://plg.uwaterloo.ca/theses/DitchfieldThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-DitchfieldThesis.pdf}}
}

@mastersthesis{Schluntz17,
    author  = {Schluntz, Robert},
    title   = {Resource Management and Tuples in C$\mathbf{\forall}$},
    school	= {School of Computer Science, University of Waterloo},
    year	= 2017,
    address	= {Waterloo, Ontario, Canada, N2L 3G1},
    note    = {[[unpublished]]}
}