Search papers, labs, and topics across Lattice.
2
0
3
Forget cloud computing, FCPP lets you write typed lambda terms that actually fly on drones and drive rovers at the network's edge.
Guarantee type safety across product lines of C programs using a novel calculus with preprocessor directives.
