Depending on Session-Typed Processes

Bernardo Toninho, Nobuko Yoshida

This work proposes a dependent type theory that combines functions and session-typed processes (with value dependencies) through a contextual monad, internalising typed processes i…