J. Garrett Morris
3 papers in the PaperMetrix corpus
Papers by this author
-
Embedding session types in Haskell
2016
We present a novel embedding of session-typed concurrency in Haskell. We extend an existing HOAS embedding of linear λ-calculus with a set of core session-typed primitives, using indexed type families to express the constraints of …
-
Variations on variants
2015 · ACM SIGPLAN Notices
Extensible variants improve the modularity and expressiveness of programming languages: they allow program functionality to be decomposed into independent blocks, and allow seamless extension of existing code with both new cases of existing data types …
-
Separating Sessions Smoothly
2021 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
<p>This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom, confluence, and strong normalisation. HGV exploits hyper-environments, which are collections of type environments, …