Fingerprint
Dive into the research topics of 'Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Arjen Rouvoet, Casper Poulsen, Robbert Krebbers, Eelco Visser
Research output: Working paper/Preprint › Working paper › Scientific
77
Downloads
(Pure)