Search papers, labs, and topics across Lattice.
3
0
3
Effect handlers not only simplify the development of program logics but also yield stronger reasoning rules than traditional methods, revolutionizing how we approach program effects.
Every linearizable data structure can now be paired with a logically atomic specification, simplifying the proof process in concurrent programming.
Finally, a program logic that handles the complexities of real-world differential privacy libraries, including privacy filters, higher-order functions, and interactive algorithms.
