Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
ENS Paris-Saclay, Université Paris-Saclay, JONATHAN STERLING, University of Cambridge
1
0
0
Simplifying the handling of polymorphic cumulative universes could revolutionize how dependent type theory is applied in practical programming languages.