research
∙
03/02/2023
HasChor: Functional Choreographic Programming for All (Functional Pearl)
Choreographic programming is an emerging paradigm for programming distri...
share
research
∙
06/29/2022
Verified Causal Broadcast with Liquid Haskell
Protocols to ensure that messages are delivered in causal order are a ub...
research
∙
10/12/2021
Toward SMT-Based Refinement Types in Agda
Dependent types offer great versatility and power, but developing proofs...
research
∙
10/09/2021