Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Professionally Related Web Sites
[go: Go Back, main page]

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

  • New Jersey Programming Languages Seminar
  • Strategic directions in Computing Research Workshop
  • WWW Virtual Library: Conferences
  • LICS list of logic-related conferences
  • OOPSLA
  • International Conference on Functional Programming
  • ECOOP Home Page
  • POPL98 Information
  • LICS
  • Mathematical Foundations of Programming Semantics
  • ML workshop papers
  • FPCA 95
  • FOOL home page

    • Languages

  • Java home page
  • Functional Programming
  • Programming Language Research
  • The Eiffel Page
  • The Tower Eiffel Page
  • New Eiffel Type Rules
  • ML FAQ Page
  • SML home page
  • SML 96 home page
  • Ullman ML book Page
  • ML tutorials
  • Theta Page
  • Object-Oriented Info
  • DYLAN Home Page
  • Programming Language Critiques
  • Sather home page
  • pHaskell home page
  • Hugs home page
  • Object Port
  • Pi-calculus and mobility
  • Ada Resources for Educators and Students

    • Journals

  • TAPOS
  • Bulletin of Symbolic Logic
  • Elsevier (TCS)
  • Interest Group in Pure and Applied Logics (TCS)

    • Bibliographies

  • Hypatia electronic library
  • Imperial college theoretical computer science research archive
  • A Collection of Computer Science Bibliographies available on the Internet You may also get these via a "Glimpse Server".
  • Information and Computation Bibliography
  • Bibliographies on Programming Languages and Compiler Technology
  • Mathematical Foundations of Programming Semantics
  • Functional programming article archive
  • Category Theory archive
  • Albert journal and conference biblios

    • Teaching info

  • NECUSE ClearingHouse for Intro CS Courses
  • Teaching Programming Languages
  • UC Berkeley VideoTape Mentoring Program
  • Misc course notes and labs
  • Alex Aiken's Prog Lang and Compilers Course notes

    • Organizations

  • LACS (liberal arts CS consortium)
  • National Science Foundation
  • National Science Foundation - CCR
  • Association for Computing Machinery
  • TidBITS
  • Association for Symbolic Logic
  • CPSR's Foyer
  • Newton Institute
  • Computing Research Association
  • AMAST Index

    • 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.
  • Summer jobs
    • Back to Kim Bruce's home page
    kim@cs.williams.edu