Structural Subtyping of Non-Recursive Types is Decidable - Sciweavers

36

click to vote

more LICS 2003 ...

sdg.csail.mit.edu

Tweet