1. Home
  2. Computer
  3. Computer Science
  4. Bruce, Kim B.

Computer · Computer Science

Bruce, Kim B.

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

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.

Tags

Projects

Where it sits

Computer Computer Science

More in Computer Science

See all →