Programming Languages

  • Semantics-Based Program Analysis and Manipulation
  • Principles of PL @ Rice
  • Programming Languages @ Princeton
  • The University of Copenhagen DIKU, TOPPS group, bibliography , for partial evaluation and other programming research.
  • Microsoft programming research group
  • University of Wisconsin Computer Sciences 1994 Distinguished Lecture Series
  • Theory of Objects
  • Mercury
  • Lambda Prolog
  • Goedel
  • charity home page
  • Oz, The Oz Programming Model
  • Information on Sather
  • Virtual Library Page on Logic Programming
  • The Virtual Library on Literate Programming, featuring an Interview with DEK.
  • Oberon Newsletter
  • Java Home Page, Australian Java User Group
  • Advanced Type Systems Project
  • lcc, a retargetable C compiler
    • Peter Thiemann