17 citations · 19 across the 2 of their papers we have counts for
2 papers
cs.PL2012★ 2 cited
A Rewriting View of Simple Typing
Aaron Stump, Garrin Kimmell, Hans Zantema +1
This paper shows how a recently developed view of typing as small-step abstract reduction, due to Kuan, MacQueen, and Findler, can be used to recast the development of simple type…
cs.PL2012★ 17 cited
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems
Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn +7
We present a full-spectrum dependently typed core language which includes both nontermination and computational irrelevance (a.k.a. erasure), a combination which has not been studi…