Irrelevance, heterogeneous equality, and call-by-value dependent type systems

Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich

Research output: Contribution to journalConference articlepeer-review

14 Scopus citations

Fingerprint

Dive into the research topics of 'Irrelevance, heterogeneous equality, and call-by-value dependent type systems'. Together they form a unique fingerprint.