The root cause of blame: contracts for intersection and union types

Jack Williams, J. Garrett Morris, 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