Professional Organizations, Archives, Conference, Journal and Publisher Pages

Professional Organizations

  • Association for Computing Machinery (ACM)
  • Association for Symbolic Logic (ASL)
  • Computing Research Association
  • IFIP Working Group 2.8 - Functional Programming
  • National Science Foundation (NSF)

    • Archives and Collections

  • ECCC - The Electronic Colloquium on Computational Complexity
  • Programming Language Research
  • Theory of Computation and Related Areas
  • CCL (Construction of Computation Logics)
  • German type theory community home page
  • Hypertext Bibliography Project (links to Information and Computation, J. ACM, J. Functional Programming, Nordic J. Computing; FOCS, LICS, STOC conferences; cross-reference to other online bibliographies)
  • Imperial College Papers Archive
  • Logical Frameworks home page by Frank Pfenning
  • Rewriting List maintained by Pierre Lescanne
  • Vaughan Pratt's Structures directory

    • Conferences, Journals, Relevant Publishers

  • ACM OOPSLA Conference.
  • ACM SigAct News
  • ACM Symposium on Theory of Computing
  • ACM Trans. Programming Languages and Systems
  • Electronic Journal Listing
  • Information and Computation (with abstracts)
  • IEEE Symposium on Foundations of Computer Science
  • IEEE Symposium on Logic in Computer Science Bibliography and abstracts, home page.
  • Journal of the ACM (with abstracts)
  • Journal of Functional Programming (with abstracts)
  • Nordic Journal of Computing (with abstracts)
  • Theory and Practice of Object Systems
  • The MIT Press

    • John C. Mitchell
    Department of Computer Science
    Stanford University
    Stanford CA 94305-9045     		Phone: (415) 723-8634
    Fax: (415) 725-4671