[a53e10a] | 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 | |
---|
[cb4d825] | 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 | |
---|
[231f01c] | 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 | |
---|
[c1fb1f2f] | 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 | |
---|
[a53e10a] | 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}} |
---|
[1ca52db] | 56 | } |
---|
| 57 | |
---|
[c1fb1f2f] | 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 | |
---|
[1ca52db] | 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]]} |
---|
[cb4d825] | 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 | } |
---|