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

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