4 citations · 4 across the 1 of their papers we have counts for
1 paper
J. Garrett Morris, Richard Eisenberg
We present an approach to support partiality in type-level computation without compromising expressiveness or type safety. Existing frameworks for type-level computation either req…