On Typability for Rank-2 Intersection Types with Polymorphic Recursion - Sciweavers

30

click to vote

more LICS 2006 ...

theory.stanford.edu

Tweet