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