Search papers, labs, and topics across Lattice.
Affiliation:
1
0
3
Hippogriff reveals a novel way to maintain general recursion in dependent type systems without sacrificing typechecking efficiency.
