Changeset c1fb1f2f for doc/generic_types/generic_types.bib

Timestamp:

Mar 28, 2017, 4:51:47 PM (7 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

3ed64ff

Parents:

41cd57c0

Message:

Update abstract and related work

File:

• doc/generic_types/generic_types.bib (modified) (2 diffs)

doc/generic_types/generic_types.bib

@@ -34 +34 @@
 }
 
+@techreport{C++Concepts,
+    type = {International Standard},
+    keywords    = {ISO/IEC TS 19217:2015},
+    contributer = {a3moss@uwaterloo.ca},
+    key         = {{ISO/IEC} {TS} 19217},
+    title       = {Information technology -- Programming languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Extensions for concepts},
+    institution = {International Standard Organization},
+    address     = {http://www.iso.org},
+    year        = 2015
+}
+
 @phdthesis{Ditchfield92,
     keywords    = {C, parametric polymorphism, overloading},
@@ -43 +54 @@
     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     note        = {\href{http://plg.uwaterloo.ca/theses/DitchfieldThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-DitchfieldThesis.pdf}}
+}
+
+@article{Gro06,
+ author = {Grossman, Dan},
+ title = {Quantified Types in an Imperative Language},
+ journal = {ACM Trans. Program. Lang. Syst.},
+ issue_date = {May 2006},
+ volume = {28},
+ number = {3},
+ month = may,
+ year = {2006},
+ issn = {0164-0925},
+ pages = {429--475},
+ numpages = {47},
+ url = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
+ doi = {10.1145/1133651.1133653},
+ acmid = {1133653},
+ publisher = {ACM},
+ address = {New York, NY, USA},
 }