Changeset 03ccadd for doc/bibliography/cfa.bib
- Timestamp:
- Jun 8, 2016, 5:15:27 PM (8 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
- Children:
- ecb4955
- Parents:
- ac78e25
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/bibliography/cfa.bib
rac78e25 r03ccadd 356 356 } 357 357 358 @article{Cor :overload,358 @article{Cormack81, 359 359 keywords = {}, 360 360 contributer = {gjditchfield@plg}, … … 2922 2922 } 2923 2923 } 2924 2925 @unpublished{Bilson, 2926 keywords = {generic programming, generics, polymorphism}, 2927 contributor {a3moss@plg}, 2928 author = {Richard C. Bilson and Glen Ditchfield and Peter A. Buhr}, 2929 title = {Generic Programming with Inferred Models}, 2930 } 2931 2924 2932 2925 2933 @article{Haskell, … … 4540 4548 } 4541 4549 4542 @article{Bak :overload,4550 @article{Baker82, 4543 4551 keywords = {compilation}, 4544 4552 contributer = {gjditchfield@plg}, … … 5455 5463 % Q 5456 5464 5465 @article{Grossman06, 5466 keywords = {Cyclone, existential types, polymorphism, type variables}, 5467 contributer = {a3moss@plg}, 5468 author = {Grossman, Dan}, 5469 title = {Quantified Types in an Imperative Language}, 5470 journal = toplas, 5471 issue_date = {May 2006}, 5472 volume = {28}, 5473 number = {3}, 5474 month = may, 5475 year = {2006}, 5476 issn = {0164-0925}, 5477 pages = {429--475}, 5478 numpages = {47}, 5479 url = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653}, 5480 doi = {10.1145/1133651.1133653}, 5481 acmid = {1133653}, 5482 publisher = {ACM}, 5483 address = {New York, NY, USA}, 5484 } 5485 5457 5486 @article{Hoare61, 5458 5487 keywords = {quick sort},
Note: See TracChangeset
for help on using the changeset viewer.