source: doc/generic_types/generic_types.bib @ 3fb7f5e

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 3fb7f5e was c1fb1f2, checked in by Aaron Moss <a3moss@…>, 5 years ago

Update abstract and related work

  • Property mode set to 100644
File size: 3.1 KB
Line 
1@mastersthesis{Bilson03,
2    keywords    = {Cforall, parametric polymorphism, overloading},
3    contributer = {pabuhr@plg},
4    author      = {Richard C. Bilson},
5    title       = {Implementing Overloading and Polymorphism in Cforall},
6    school      = {School of Computer Science, University of Waterloo},
7    year        = 2003,
8    address     = {Waterloo, Ontario, Canada, N2L 3G1},
9    note        = {\href{http://plg.uwaterloo.ca/theses/BilsonThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-BilsonThesis.pdf}},
10}
11
12@article{Buhr94a,
13    keywords    = {assignment, parameter passing, multiple assignment},
14    contributer = {pabuhr@plg},
15    author      = {P. A. Buhr and David Till and C. R. Zarnke},
16    title       = {Assignment as the Sole Means of Updating Objects},
17    journal     = spe,
18    month       = sep,
19    year        = 1994,
20    volume      = 24,
21    number      = 9,
22    pages       = {835-870},
23}
24
25@techreport{C11,
26    type = {International Standard},
27    keywords    = {ISO/IEC C 11},
28    contributer = {pabuhr@plg},
29    key         = {{ISO/IEC} 9889-2011},
30    title       = {American National Standard Information technology -- Programming Languages -- {C}},
31    institution = {International Standard Organization},
32    address     = {http://www.iso.org},
33    year        = 2012,
34}
35
36@techreport{C++Concepts,
37    type = {International Standard},
38    keywords    = {ISO/IEC TS 19217:2015},
39    contributer = {a3moss@uwaterloo.ca},
40    key         = {{ISO/IEC} {TS} 19217},
41    title       = {Information technology -- Programming languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Extensions for concepts},
42    institution = {International Standard Organization},
43    address     = {http://www.iso.org},
44    year        = 2015
45}
46
47@phdthesis{Ditchfield92,
48    keywords    = {C, parametric polymorphism, overloading},
49    contributer = {pabuhr@plg},
50    author      = {Glen Jeffrey Ditchfield},
51    title       = {Contextual Polymorphism},
52    school      = {Department of Computer Science, University of Waterloo},
53    year        = 1992,
54    address     = {Waterloo, Ontario, Canada, N2L 3G1},
55    note        = {\href{http://plg.uwaterloo.ca/theses/DitchfieldThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-DitchfieldThesis.pdf}}
56}
57
58@article{Gro06,
59 author = {Grossman, Dan},
60 title = {Quantified Types in an Imperative Language},
61 journal = {ACM Trans. Program. Lang. Syst.},
62 issue_date = {May 2006},
63 volume = {28},
64 number = {3},
65 month = may,
66 year = {2006},
67 issn = {0164-0925},
68 pages = {429--475},
69 numpages = {47},
70 url = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
71 doi = {10.1145/1133651.1133653},
72 acmid = {1133653},
73 publisher = {ACM},
74 address = {New York, NY, USA},
75}
76
77@mastersthesis{Schluntz17,
78    author  = {Schluntz, Robert},
79    title   = {Resource Management and Tuples in C$\mathbf{\forall}$},
80    school      = {School of Computer Science, University of Waterloo},
81    year        = 2017,
82    address     = {Waterloo, Ontario, Canada, N2L 3G1},
83    note    = {[[unpublished]]}
84}
85
86@mastersthesis{Till89,
87    keywords    = {C, multiple return values, tuples},
88    contributer = {pabuhr@plg},
89    author      = {David W. Till},
90    title       = {Tuples In Imperative Programming Languages},
91    school      = {Department of Computer Science, University of Waterloo},
92    year        = 1989,
93    address     = {Waterloo, Ontario, Canada, N2L 3G1},
94}
Note: See TracBrowser for help on using the repository browser.