refinement.md « type_theory « bookmark « documentation - lux - fork of https://github.com/LuxLang/lux for my bookshelf

about summary refs log tree commit diff

path: root/documentation/bookmark/type_theory/refinement.md

blob: f0d0a1f06648f97cead0806336fd2dd0ef1ff4ee (plain)

# Reference

1. [Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)](https://arxiv.org/abs/1908.00441)