Gradual session types

Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Gradual session types'. Together they form a unique fingerprint.

Arts and Humanities

Social Sciences

Computer Science