Tunable Static Inference for Generic Universe Types
Abstract elided by the publisher.
Related papers
- An extension of HM(X) with bounded existential and universal data-types ICFP 2003
- Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference POPL 2023
- Dynamic Typing as Staged Type Inference POPL 1998
- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages ESOP 2024
- Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages SLE 2024
- A systematic approach to deriving incremental type checkers OOPSLA 2020
- Separating ownership topology and encapsulation with generic universe types TOPLAS 2011
- Type Inference with Subtypes POPL 1988