Related Types
No abstract available.
DOI 10.1007/978-3-642-22655-7_21
Related papers
- Relational Reasoning for Recursive Types and References APLAS 2006
- OBRA: Oracle-Based, Relational, Algorithmic Type Verification APLAS 2024
- Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types ESOP 2006
- Declarative Object Identity Using Relation Types ECOOP 2007
- Lifting Numeric Relational Domains to Algebraic Data Types SAS 2022
- Experience report: types for a relational algebra library Haskell 2016
- Bidirectional type checking for relational properties PLDI 2019
- Relational nullable types with Boolean unification OOPSLA 2021