Of Professional Interest

Researchers

  • Other Programming Languages Researchers
  • OO Types Researchers
  • Formal Methods Researchers
  • Luca Cardelli
  • Benjamin Pierce
  • Liberal Arts CS Consortium
  • TCS Virtual Rolodex

    • Conferences

  • OOPSLA
  • ECOOP Home Page
  • POPL Information
  • LICS
  • Mathematical Foundations of Programming Semantics
  • FOOL home page

    • Languages

  • Java home page
  • New Eiffel Type Rules
  • SML home page
  • Ullman ML book Page
  • ML tutorials
  • Sather home page

    • Teaching info

  • Teaching Programming Languages

    • Research Techniques, Grad School and Summer Job Stuff

  • Info on doing research in CS
  • Grad School Info
  • So long, and thanks for the Ph.D.
    • Back to Kim Bruce's home page
    kim@cs.pomona.edu