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
∙
03/02/2023
HasChor: Functional Choreographic Programming for All (Functional Pearl)
Choreographic programming is an emerging paradigm for programming distri...
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
Toward Hole-Driven Development with Liquid Haskell
Liquid Haskell is an extension to the Haskell programming language that ...
research
∙
01/18/2018