research
∙
07/20/2023
An Exceptional Actor System (Functional Pearl)
The Glasgow Haskell Compiler is known for its feature-laden runtime syst...
share
research
∙
07/19/2023
Inductive diagrams for causal reasoning
The Lamport diagram is a pervasive and intuitive tool for informal reaso...
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/09/2021