Set-theoretic types for polymorphic variants

(arxiv.org)

2 points | by fanf2 5 hours ago ago