BibTeX record journals/corr/abs-1202-2923

• > Home > journals/corr/abs-1202-2923

@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},
  editor       = {James Chapman and
                  Paul Blain Levy},
  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},
  series       = {{EPTCS}},
  volume       = {76},
  pages        = {112--162},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.76.9},
  doi          = {10.4204/EPTCS.76.9},
  timestamp    = {Fri, 27 Dec 2019 21:15:10 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-2923.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}