Fingerprint
Dive into the research topics of 'CDSL Version 1: Simplifying Verification with Linear Types'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
CDSL Version 1: Simplifying Verification with Linear Types
Liam O'Connor-Davis, Gabriele Keller, Sidney Amani, Toby Murray, Gerwin Klein, Zilin Chen, Christine Rizkallah
Research output: Working paper