@misc{indiciae806e7f7e8de8,
  title = {Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems},
  author = {Vilhelm Sjö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},
  year = {2012},
  doi = {10.4204/eptcs.76.9},
  url = {https://arxiv.org/abs/1202.2923},
  note = {Source identifier: 1202.2923}
}