[1606.01106] Set-Theoretic Types for Polymorphic Variants - discu.eu

Linking pages

GitHub - gasche/icfp2016-papers: Link to preprints for ICFP'16 and co-located events https://github.com/gasche/icfp2016-papers 22 comments

Related searches:

Search whole site: site:arxiv.org

Search title: [1606.01106] Set-Theoretic Types for Polymorphic Variants

See how to search.

Submit link to: