9 citations · 40 across the 22 of their papers we have counts for
1 paper · 2 filters
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…