An Interval-Based Inference of Variant Parametric Types
No abstract available.
Related papers
- Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl) ICFP 2026
- Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures POPL 2019
- Internal Parametricity, without an Interval POPL 2024
- A flow-based approach for variant parametric types OOPSLA 2006
- Parameter Synthesis for Parametric Interval Markov Chains VMCAI 2016
- Variant parametric types: A flexible subtyping scheme for generics TOPLAS 2006
- Constraint-Based Type Inference and Parametric Polymorphism SAS 1994
- The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism ECOOP 1995