This page shows all presentations of this author published in EasyChair Smart Slide.
Dependent Right Adjoint Types
Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew Pitts and Bas Spitters
ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency
Daniil Frumin, Robbert Krebbers and Lars Birkedal