Generic Universe Types
No abstract available.
DOI 10.1007/978-3-540-73589-2_3
Related papers
- Tunable Static Inference for Generic Universe Types ECOOP 2011
- Separating ownership topology and encapsulation with generic universe types TOPLAS 2011
- An extension of HM(X) with bounded existential and universal data-types ICFP 2003
- The Kansas University rewrite engine - A Haskell-Embedded Strategic Programming Language with Custom Closed Universes JFP 2014
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs JFP 2021
- A type and scope safe universe of syntaxes with binding: their semantics and proofs ICFP 2018
- Practical generic programming over a universe of native datatypes ICFP 2022
- Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference POPL 2023