Fingerprint
Dive into the research topics of 'Gradual session types'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
Research output: Contribution to journal › Article › peer-review