Report copyright - A Semantics for Static Type Inferencehomepages.inf.ed.ac.uk/gdp/publications/Stat_Type_Inf.pdf · A Semantics for Static ... where there is a pleasing correspondence between the type-expression
Please pass captcha verification before submit form