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

@article{Buhr94a,
    keywords	= {assignment, parameter passing, multiple assignment},
    contributer	= {pabuhr@plg},
    author	= {P. A. Buhr and David Till and C. R. Zarnke},
    title	= {Assignment as the Sole Means of Updating Objects},
    journal	= spe,
    month	= sep,
    year	= 1994,
    volume	= 24,
    number	= 9,
    pages	= {835-870},
}

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

@techreport{C++Concepts,
    type = {International Standard},
    keywords	= {ISO/IEC TS 19217:2015},
    contributer	= {a3moss@uwaterloo.ca},
    key		= {{ISO/IEC} {TS} 19217},
    title	= {Information technology -- Programming languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Extensions for concepts},
    institution	= {International Standard Organization},
    address	= {http://www.iso.org},
    year	= 2015
}

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

@article{Gro06,
 author = {Grossman, Dan},
 title = {Quantified Types in an Imperative Language},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {May 2006},
 volume = {28},
 number = {3},
 month = may,
 year = {2006},
 issn = {0164-0925},
 pages = {429--475},
 numpages = {47},
 url = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
 doi = {10.1145/1133651.1133653},
 acmid = {1133653},
 publisher = {ACM},
 address = {New York, NY, USA},
}

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

@mastersthesis{Till89,
    keywords	= {C, multiple return values, tuples},
    contributer	= {pabuhr@plg},
    author	= {David W. Till},
    title	= {Tuples In Imperative Programming Languages},
    school	= {Department of Computer Science, University of Waterloo},
    year	= 1989,
    address	= {Waterloo, Ontario, Canada, N2L 3G1},
}