4 citations · 10 across the 7 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…