Polymorphic Contracts
Abstract elided by the publisher.
Related papers
- Relationally-parametric polymorphic contracts DLS 2007
- Polymorphic Manifest Contracts, Revised and Resolved TOPLAS 2017
- System Fμ ømega with Context-free Session Types ESOP 2023
- How to Take the Inverse of a Type ECOOP 2022
- Generic Refinement Types POPL 2025
- Allocation Regions & Implementation Contracts ISMM 1992
- Gradual typing for first-class classes OOPSLA 2012
- Static Verification for Code Contracts SAS 2010