65 citations · 340 across the 42 of their papers we have counts for
1 paper · 2 filters
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…