Kim Bruce

Kim Bruce, Professor Emeritus Home Page Research interests: Programming language design and semantics: type theory, object oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.