research
∙
08/01/2019
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)
This work introduces the novel concept of kind refinement, which we deve...
research
∙
07/02/2019