27 citations · 63 across the 6 of their papers we have counts for
1 paper · 1 filter
Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subtyping relation via unifica…