Semantics Based Information

Related Web Resources

• Program transformation resources (Tim Bull, Oxford)
• Resource for Programming Language Research (Leone, CMU)
• Researchers in Programming Languages and Compilers (Leone, CMU)
• Theory of computation and logics (Shai, CMU)
• Formal Methods (Bowen, Oxford)
• Functional Programming Archive (London&SE Ctr for HPC)

Languages and systems

• Similix - a self-applicable partial evaluator for Scheme.
• Standard ML (see Leone's page)CAML (Inria)
• Haskell (see Leone's page)
• CRML (OGI)
• Scheme FAQ
• Aarhus PSI system
• MIT Programming Methodology Group

Bibliographies and Tech Report Archives

• DIKU Semantics reports.
• DIKU Semantics ftp directory.
• DIKU Partial evaluation bibliography (Neil Jones, DIKU)
• Logics papers and bibliography (Imperial College)
• Journal: Formal Aspects of Computing (Manchester)
• MT project publications (Carolyn Talcott)
• Bibliography in bibtex format (Carolyn Talcott, Stanford)

Atlantique FTP documents (Carolyn Talcott, Stanford)

• Summary Report
• Attendees
• Email addresses
• Email list of concurrency subgroup
• README file