Using Higher-Order Contracts to Model Session Types (Extended Abstract).

Giovanni Bernardi, Matthew Hennessy

Browse the full CONCUR paper archive.