I wonder if there is anything in ComputerScience not related to ComputationalLinguistics…

How about C/C++?

• Plauger and Brodie on Standard C, and collected resources at Lysator
• ISO C++ December 1996 draft
• Incompatibilities between ISO C and ISO C++
• Boost (nice C++ libraries)
• Dinkumware fixes for Visual C++ headers
• The Boehm garbage collector for C/C++

Programming language resources:

• Great works in programming languages
• A list of programming language texts online
• Lambda the Ultimate
• Resources for programming language research by Mark Leone
• Graduate courses about programming languages
• Harvard CS152: Programming Languages for beginners
• Harvard CS252: Functional Programming
• Functional Programming Archive
• Principles of Programming Languages conference series
• 20 Years of PLDI: A Selection
• MIT courses:
  • 5.035: Computer Language Engineering
  • 6.044J/18.423J: Computability Theory
  • 6.821: Programming Languages
• Language Prototyping System
• Why I hate (programming language) advocacy

Type theory:

• TYPES mailing list
• Linear Logic: bibliography; semantics summary by Jon Barwise and Vaughan Pratt
• Literaturliste: Grundlagen von Typsystemen
• TinkerType, a framework for describing formal systems
• Monads in computer science
• Logic in computer science
• Game semantics, a reading course
• Alternative logic, an introduction
• ProofTheory.ORG: Proof theory mailing list
• BibTeX bibliographies compiled by Tarmo Uustalu
• Association for Symbolic Logic

Specific languages:

• Haskell: Home page, Revised report (libre draft), Online bibliography, Mini-primer, QuickCheck: An automatic testing tool, The evolution of a Haskell programmer
• Scheme: Schemers.org, Online bibliography, Scheme Boston, Dybvig’s book, Systematic macro programming, Algebraic patterns
• lambda Prolog: Home page
• ML: Programming in Standard ML
• Objective Caml: Developing Applications with Objective Caml
• Prolog: Learn Prolog Now!
• Oz: Home page, Tutorial, Alice

Free software and digital liberty:

• Debian GNU/Linux, “the universal operating system”
• How to choose a free software license
• Chilling Effects Clearinghouse
• SCO vs IBM; SCO vs IBM
• Setting up a Web circumventor (simple instructions)
• Creative Commons
• Study-Area: Chinese-language tutorials on free software
• tomsrtbt (Tom’s Root Boot), “the most GNU/Linux on 1 floppy disk”

Security, for and from us:

• Mixminion: a Type III anonymous remailer
• Onion Routing against eavesdropping and traffic analysis
• Tarzan: peer-to-peer anonymous IP
• Roger Dingledine
• HashCash: a partial hash collision based postage scheme
• TCPA/Palladium FAQ

Programming and architecture:

• Teach yourself programming in ten years
• Three myths of XML
• Don’t let architecture astronauts scare you
• The Web standards project
• Double-checked locking is broken
• HTML form submission and internationalization

Miscellaneous:

• Ted Nelson’s ComParadigm in OneLiners
• The unreasonable effectivenss of mathematics in the natural sciences
• This week’s finds in mathematical physics
• An Indian physicist puts a PC with a high speed internet connection in a wall in the slums and watches what happens
• Public Usenet resources: NewzBot!, Free news
• Some interesting input devices and another keyboard collection
• Which Springer-Verlag Graduate Text in Mathematics are you?

---

(towards the end of the 20th century)