Mobility
Reading
Group
π-calculus, Session Types research at Imperial College
Home
People
Publications
Grants
Talks
Tutorials
Tools
Awards
Kohei Honda
CONCUR Interview
Parallel Algebraic Language
A Haskell EDSL for building session-typed parallel code.
Link
Link
Sources
Related publications
David Castro-Perez
,
Nobuko Yoshida
:
Compiling First-Order Functions to Session-Typed Parallel Code
.
CC 2020
: 143 - 154
.