TY  - RPRT
TI  - Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems
AU  - Vilhelm Sjöberg
AU  - Chris Casinghino
AU  - Ki Yung Ahn
AU  - Nathan Collins
AU  - Harley D. Eades III
AU  - Peng Fu
AU  - Garrin Kimmell
AU  - Tim Sheard
AU  - Aaron Stump
AU  - Stephanie Weirich
PY  - 2012
DO  - 10.4204/eptcs.76.9
UR  - https://arxiv.org/abs/1202.2923
ID  - 1202.2923
ER  -