Report copyright - Recursive Types and Subtypingweimerw/2007-615/... · – If τ is a subtype of σ then any expression with type τ also has type σ (e.g., Z µ R, 12Z ) 12R) – If τ is a subtype
Please pass captcha verification before submit form
Please pass captcha verification before submit form