BibTeX record conf/oopsla/Petricek15

download as .bib file

@inproceedings{DBLP:conf/oopsla/Petricek15,
  author    = {Tomas Petricek},
  title     = {Against a universal definition of 'Type'},
  booktitle = {2015 {ACM} International Symposium on New Ideas, New Paradigms, and
               Reflections on Programming and Software, Onward! 2015, Pittsburgh,
               PA, USA, October 25-30, 2015},
  pages     = {254--266},
  year      = {2015},
  crossref  = {DBLP:conf/oopsla/2015onward},
  url       = {http://doi.acm.org/10.1145/2814228.2814249},
  doi       = {10.1145/2814228.2814249},
  timestamp = {Wed, 28 Oct 2015 16:51:55 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/oopsla/Petricek15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2015onward,
  editor    = {Gail C. Murphy and
               Guy L. Steele Jr.},
  title     = {2015 {ACM} International Symposium on New Ideas, New Paradigms, and
               Reflections on Programming and Software, Onward! 2015, Pittsburgh,
               PA, USA, October 25-30, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2814228},
  isbn      = {978-1-4503-3688-8},
  timestamp = {Wed, 28 Oct 2015 16:50:43 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/oopsla/2015onward},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}