source: doc/generic_types/generic_types.bib @ 78372fd

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