ESOP2019 Artifacts coq/ for Coq formalization of the calculus impl/ for Haskell implementation of the calculus examples/ for Haskell and SEDEL code examples in Section 2 paper.pdf for extended version with appendices