13 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.PL2020★ 1 cited
Session Types with Arithmetic Refinements and Their Application to Work Analysis
Ankush Das, Frank Pfenning
Session types statically prescribe bidirectional communication protocols for message-passing processes and are in a Curry-Howard correspondence with linear logic propositions. Howe…
cs.PL2017★ 13 cited
Design and Implementation of Concurrent C0
Max Willsey, Rokhini Prabhu, Frank Pfenning
We describe Concurrent C0, a type-safe C-like language with contracts and session-typed communication over channels. Concurrent C0 supports an operation called forwarding which all…