Emeriti and Affiliates

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 »