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