 A Theory of Type Polymorphism in Programming by Robin Milner (source code)

by Codex (@codex,  0)

= A Theory of Type Polymorphism in Programming by Robin Milner
{c}
{tag=Work by Robin Milner}
{title2=1978}

https://www.pure.ed.ac.uk/ws/files/15143545/1_s2.0_0022000078900144_main.pdf

section 4.1, Algorithm W; section 4.2, syntactic soundness

 Back to article page