2011'

@proceedings{DBLP:conf/tldi/2011,
  editor    = {Stephanie Weirich and
               Derek Dreyer},
  title     = {Proceedings of TLDI 2011: 2011 ACM SIGPLAN International
               Workshop on Types in Languages Design and Implementation,
               Austin, TX, USA, January 25, 2011},
  booktitle = {TLDI},
  publisher = {ACM},
  year      = {2011},
  isbn      = {978-1-4503-0484-9},
  ee        = {http://dl.acm.org/citation.cfm?id=1929553},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}