Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
0
0
Simplifying the handling of polymorphic cumulative universes could revolutionize how dependent type theory is applied in practical programming languages.