102 citations · 202 across the 10 of their papers we have counts for
1 paper · 1 filter
Giuseppe Castagna, Victor Lanvin, Mickaël Laurent +1
We revisit occurrence typing, a technique to refine the type of variables occurring in type-cases and, thus, capturesome programming patterns used in untyped languages. Although oc…