Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Fri 23 Sep 2016 11:00 - 11:25 at Noh Theater - Types Chair(s): David Duke

We present a novel embedding of session-typed concurrency in Haskell. We extend an existing HOAS embedding of linear $\lambda$-calculus with a set of core session-typed primitives, using indexed type families to express the constraints of the session typing discipline. We give two interpretations of our embedding, one in terms of GHC's built-in concurrency and another in terms of purely functional continuations. Our safety guarantees, including deadlock freedom, are assured statically and introduce no additional runtime overhead.

Fri 23 Sep

10:35 - 11:25: Haskell - Types at Noh Theater
Chair(s): David DukeUniversity of Leeds
haskellsymp-2016-papers10:35 - 11:00
haskellsymp-2016-papers11:00 - 11:25
Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Edinburgh, UK