Ignore:
Timestamp:
Jun 13, 2012, 5:29:11 PM (7 years ago)
Author:
boender
Message:
  • more progress
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2012-policy/biblio.bib

    r1889 r2064  
    4747  bibsource = {DBLP, http://dblp.uni-trier.de}
    4848}
     49
     50@inproceedings{Sozeau2006,
     51  author = {Matthieu Sozeau},
     52  title = {Subset Coercions in {Coq}},
     53  booktitle = {{TYPES}},
     54  pages = {237--252},
     55  year = {2006}
     56}
     57
Note: See TracChangeset for help on using the changeset viewer.