research
∙
11/30/2021
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
Much recent research has been devoted to modeling effects within type th...
share
research
∙
03/04/2021
Catala: A Programming Language for the Law
Law at large underpins modern society, codifying and governing many aspe...
research
∙
11/16/2020
