source: doc/generic_types/generic_types.bib @ 231f01c

@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}},
}

@techreport{C11,
    type = {International Standard},
    keywords    = {ISO/IEC C 11},
    contributer = {pabuhr@plg},
    key         = {{ISO/IEC} 9889-2011},
    title       = {American National Standard Information technology -- Programming Languages -- {C}},
    institution = {International Standard Organization},
    address     = {http://www.iso.org},
    year        = 2012,
}

@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]]}
}