Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
1
2
A unified bidirectional type system allows for seamless switching between function-first and argument-first typing, enhancing typeability without compromise.