Blame and coercion: Together again for the first time

Jeremy G. Siek, Peter Thiemann, Philip Wadler

Research output: Contribution to journal › Article › peer-review

1 results

Finished
From Data Types to Session Types - A Basis for Concurrency and Distribution
Wadler, P.
EPSRC
20/05/13 → 19/11/20
Project: Research