Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
2
1
Graded coeffect typing in the tropical semiring not only models time but also guarantees the productivity of recursive programs, revealing a surprising connection between typing and temporal semantics.