A Theory of Type Polymorphism in Programming by Robin Milner 2026-11-05
View more
section 4.1, Algorithm W; section 4.2, syntactic soundness
Read the full article