TY  - RPRT
TI  - Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)
AU  - Luís Caires
AU  - Bernardo Toninho
PY  - 2019
UR  - https://arxiv.org/abs/1908.00441
ID  - 1908.00441
ER  -