Refinement kinds extend refinement types to the kind level, enabling type-safe type-level computation and meta-programming in an ML-like language, with type safety proven and a prototype built.
IFIP State-of-the-Art Reports: Formal Description of Programming Concepts (1991), 431–507
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)
Refinement kinds extend refinement types to the kind level, enabling type-safe type-level computation and meta-programming in an ML-like language, with type safety proven and a prototype built.