Ignore:
Timestamp:
Apr 3, 2017, 12:00:50 PM (5 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, resolv-new, with_gc
Children:
a6af031
Parents:
23063ea (diff), 1d29d46 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/bibliography/cfa.bib

    r23063ea r727cf70  
    3535@string{osr="Operating Systems Review"}
    3636@string{pldi="Programming Language Design and Implementation"}
     37@string{toplas="Transactions on Programming Languages and Systems"}
    3738@string{mathann="Mathematische Annalen"}
    3839% @string{mathann="Math. Ann."}
     
    27182719        implementations are the same.
    27192720    }
     2721}
     2722
     2723@online{GCCExtensions,
     2724    contributer = {a3moss@uwaterloo.ca},
     2725    key = {{GNU}},
     2726    title = {Extensions to the {C} Language Family},
     2727    year = 2014,
     2728    url = {https://gcc.gnu.org/onlinedocs/gcc-4.7.2/gcc/C-Extensions.html},
     2729    urldate = {2017-04-02}
    27202730}
    27212731
     
    55895599    keywords    = {Cyclone, existential types, polymorphism, type variables},
    55905600    contributer = {a3moss@plg},
    5591     author      = {Grossman, Dan},
     5601    author      = {Dan Grossman},
    55925602    title       = {Quantified Types in an Imperative Language},
    55935603    journal     = toplas,
     
    55965606    number      = {3},
    55975607    month       = may,
    5598     year        = {2006},
     5608    year        = 2006,
    55995609    issn        = {0164-0925},
    5600     pages       = {429--475},
    5601     numpages    = {47},
     5610    pages       = {429-475},
    56025611    url         = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
    56035612    doi         = {10.1145/1133651.1133653},
     
    57585767    month       = dec,
    57595768    year        = 1988,
     5769}
     5770
     5771@mastersthesis{Schluntz17,
     5772    author      = {Robert Schluntz},
     5773    title       = {Resource Management and Tuples in C$\mathbf{\forall}$},
     5774    school      = {School of Computer Science, University of Waterloo},
     5775    year        = 2017,
     5776    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     5777    note        = {[[unpublished]]}
    57605778}
    57615779
Note: See TracChangeset for help on using the changeset viewer.