Ignore:
Timestamp:
May 18, 2011, 3:33:05 PM (8 years ago)
Author:
mulligan
Message:

changes with claudio

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.bib

    r579 r814  
    4343}
    4444
     45@article
     46{ luo:coercive:1999,
     47  author = {Zhaohui Luo},
     48  title = {Coercive subtyping},
     49  journal = {Journal of Logic and Computation},
     50  volume = {9},
     51  number = {1},
     52  pages = {105--130},
     53  year = {1999}
     54}
     55
    4556@inproceedings
    4657{ yan:wcet:2008,
     
    132143}
    133144
     145@inproceedings
     146{ xi:guarded:2003,
     147  author = {Hongwei Xi and Chiyan Chen and Gang Chen},
     148  title = {Guarded recursive datatype constructors},
     149  booktitle = {Proceedings of the $\mathrm{30^{th}}$ Annual Symposium on Principles of Programming Languages},
     150  pages = {224--235},
     151  year = {2003}
     152}
     153
    134154@misc
    135155{ cerco:2011,
Note: See TracChangeset for help on using the changeset viewer.