Choreographic programming is an emerging paradigm for programming distri...
Protocols to ensure that messages are delivered in causal order are a
ub...
Dependent types offer great versatility and power, but developing proofs...
Liquid Haskell is an extension to the Haskell programming language that ...