BibTeX record journals/corr/abs-1202-2923

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1202-2923,
  author    = {Vilhelm Sj{\"{o}}berg and
               Chris Casinghino and
               Ki Yung Ahn and
               Nathan Collins and
               Harley D. Eades III and
               Peng Fu and
               Garrin Kimmell and
               Tim Sheard and
               Aaron Stump and
               Stephanie Weirich},
  title     = {Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type
               Systems},
  booktitle = {Proceedings Fourth Workshop on Mathematically Structured Functional
               Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012.},
  pages     = {112--162},
  year      = {2012},
  crossref  = {DBLP:journals/corr/abs-1202-2407},
  url       = {https://doi.org/10.4204/EPTCS.76.9},
  doi       = {10.4204/EPTCS.76.9},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1202-2923},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1202-2407,
  editor    = {James Chapman and
               Paul Blain Levy},
  title     = {Proceedings Fourth Workshop on Mathematically Structured Functional
               Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012},
  series    = {{EPTCS}},
  volume    = {76},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.76},
  doi       = {10.4204/EPTCS.76},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1202-2407},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier