%    Predefined journal names:
%  acmcs: Computing Surveys		acta: Acta Infomatica
@string{acta="Acta Infomatica"}
%  cacm: Communications of the ACM
%  ibmjrd: IBM J. Research & Development ibmsj: IBM Systems Journal
%  ieeese: IEEE Trans. on Soft. Eng.	ieeetc: IEEE Trans. on Computers
%  ieeetcad: IEEE Trans. on Computer-Aided Design of Integrated Circuits
%  ipl: Information Processing Letters	jacm: Journal of the ACM
%  jcss: J. Computer & System Sciences	scp: Science of Comp. Programming
%  sicomp: SIAM J. on Computing		tocs: ACM Trans. on Comp. Systems
%  tods: ACM Trans. on Database Sys.	tog: ACM Trans. on Graphics
%  toms: ACM Trans. on Math. Software	toois: ACM Trans. on Office Info. Sys.
%  toplas: ACM Trans. on Prog. Lang. & Sys.
%  tcs: Theoretical Computer Science
@string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
@string{ieeese="IEEE Transactions on Software Engineering"}
@string{spe="Software---\-Practice and Experience"}
@string{ccpe="Concurrency and Computation: Practice and Experience"}
@string{sigplan="SIGPLAN Notices"}
@string{joop="Journal of Object-Oriented Programming"}
@string{popl="Conference Record of the ACM Symposium on Principles of Programming Languages"}
@string{osr="Operating Systems Review"}
@string{pldi="Programming Language Design and Implementation"}
@string{toplas="Transactions on Programming Languages and Systems"}
@string{mathann="Mathematische Annalen"}

@mastersthesis{Bilson03,
    keywords	= {Cforall, parametric polymorphism, overloading},
    contributer	= {pabuhr@plg},
    author	= {Richard C. Bilson},
    title	= {Implementing Overloading and Polymorphism in \textsf{C}$\mathbf{\forall}$},
    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},
}

@mastersthesis{Delisle18,
    author	= {Thierry Delisle },
    title	= {Concurrency in \textsf{C}$\mathbf{\forall}$},
    school	= {School of Computer Science, University of Waterloo},
    year	= 2018,
    address	= {Waterloo, Ontario, Canada, N2L 3G1},
    note	= {\href{https://uwspace.uwaterloo.ca/handle/10012/12888}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-12888}},
}

@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{Moss18,
    keywords	= {concurrency, C++},
    contributer	= {pabuhr@plg},
    author	= {Aaron Moss and Robert Schluntz and Peter A. Buhr},
    title	= {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
    year	= 2018,
    journal	= spe,
    note	= {Accepted, to appear},
}

@mastersthesis{Schluntz17,
    keywords 	= {constructors, destructors, tuples},
    author	= {Robert Schluntz},
    title	= {Resource Management and Tuples in \textsf{C}$\mathbf{\forall}$},
    school	= {School of Computer Science, University of Waterloo},
    year	= 2017,
    address	= {Waterloo, Ontario, Canada, N2L 3G1},
    note	= {\href{https://uwspace.uwaterloo.ca/handle/10012/11830}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-11830}},
}

@misc{TIOBE,
    contributer	= {pabuhr@plg},
    key		= {TIOBE Index},
    title	= {{TIOBE} Index},
    howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
    optnote	= {Accessed: 2018-08},
}