Emeriti and Affiliates

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. Andrea Danyluk, Professor Emeritus Home page Research… Continue reading »