8 citations · 22 across the 6 of their papers we have counts for
1 paper · 1 filter
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…