3 citations · 7 across the 6 of their papers we have counts for
1 paper · 2 filters
Luís Caires, Bernardo Toninho
This work introduces the novel concept of kind refinement, which we develop in the context of an explicitly polymorphic ML-like language with type-level computation. Just as type r…