HasChor. Functional choreographic programming in Haskell
ml-type-inference. ML-style type inference in Prolog
cut. Cut elimination for intuitionistic propositional logic and its applications.
chor-alg.paper. TeX
chor-alg. Choreographic programming with algebraic effects
