Programming languages and compilers

• Semantics and semantics based program transformation/compilation:
  • abstract interpretation.
  • partial evaluation.
  • Action semantics.
  • Programming language research homepage at CMU.
  • Semantics based program analysis and manipulation home page at CMU.
  • The Elf homepage at CMU.
  • Logical framework implementations.
• Type theory and functional languages.
  • SEL-HPC Functional programming archive.
  • The types forum
  • Symbolic computing, programming and software engineering home page from INRIA .
  • Henry Baker's home page on GC, linear types and miscellaneous Lisp stuff (frequently inaccessible).
  • Laziness in functional languages .
  • Haskell 1.3 report.
  • Standard ML of New Jersey by Bell Labs and Princeton.
  • The FoxNet Web Server from CMU.
  • Caml Special Light.
  • The dataflow web page .
• Compilation of declarative languages.
• Compiler optimizations and automatic compiler generation.
  • Compilers and Interpreters Archive .
  • The SUIF compiler group at Stanford .
  • Research papers from the IMPACT compiler group at Illinois.
  • Ken Kennedy's ParaScope and the Rice compiler group.
  • The High Performance Fortran (HPF) forum.
  • The lcc compiler from Princeton .
  • List of free compilers and tools from comp.compilers. A searchable version is in here .
  • Fraser, Hanson and Proebsting's iburg , a bottom-up tree parser for code selection.
  • Ramsey and Fernandez's Machine code ToolKit.
  • Terrance Parr's Purdue Compiler Construction Tool Set (PCCTS) home page.
  • Eli home page at Colorado.
  • VCG (visualization of compiler graphs) home page from the COMPARE group.
  • daVinci home page
• Automated theorem proving and Logic
  • Lawrence C. Paulson's homepage at Cambridge with links to Isabelle .
  • Mathematical logic around the world homepage at Bonn University.
• Paul Wilson's garbage collection archive at University of Texas.
• Link to the Boehm collector at Xerox.
• The Leda library.
• Homepage on Maple
• Modern statically typed logical languages:
  • Lambda Prolog.
  • Mercury.
  • Gödel.
• Term/graph rewriting and related material:
  • Rewriting Techniques and Applications 95.
  • PROGRES .
  • Bibliography on term rewriting systems.
• Archive on constraints .
• AI related FAQs, including Lisp, Scheme, Prolog and Smalltalk and related resources.
• Computer science bibliography Glimpse server at University of Arizona.
• CLIPS home page.
• Cecil home page.
• Review of existing languages from the Tunes homepage.
• Collection of computer science bibliography at Umass.
• Collection of computer science bibliography at MIT.
• Collection of computer science bibliography at University of Karlsruhe.
• Patterns:
  • Design patterns
  • Portland Pattern Repository
• History of Mathematics
• TtH