Bruce, Kim B.

Bruce, Kim B.
All Links

Share this:

Details of Bruce, Kim B.

About Bruce, Kim B.
Bruce, Kim B.- Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.
Projects