27 citations · 52 across the 4 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…