Links

• Computer Scientists
• Manuals
• References
• People
• Projects
• Topics
• Organizations
• Recherche
• Bibliography Lists
• Tools
• Conferences
• Programming Languages
• Research etc.
• Miscellaneous

Computer Scientists

• Thorsten Altenkirch
• Andrew W. Appel
• Henry Baker
• Hans Boehm
• Dave Detlef
• R. Kent Dybvig
• Susan Eggers
• Martin Erwig
• Andrzej Filinski
• James Gosling
• Patrick Hicks
• Michael Hind
• Ralf Hinze
• Johan Jeuring
• Mark P. Jones
• Andrew Kennedy
• Donald E. Knuth
• Leslie Lamport
• Daan Leijen
• Xavier Leroy
• Erik Meijer
• Markus U. Mock
• Eugenio Moggi
• Greg Morrisett
• Flemming Nielson
• Chris Okasaki
• Jens Palsberg
• Simon Peyton Jones
• Frank Pfenning
• Benjamin C. Pierce
• Uday S. Reddy
• Kees van Reeuwijk
• Dennis M. Ritchie
• Martin C. Rinard
• Peter Van Roy
• Patrick Sansom
• Peter Sestoft
• Dorai Sitaram
• Jeffrey Mark Siskind
• Yannis Smaragdakis
• Richard Stallman
• Greg Sullivan
• Walid Taha
• Peter Thiemann
• Ken Thompson
• Philip Wadler
• Arjen van Weelden
• Benjamin Zorn

Manuals

• HTML 4.01
• Plain TeX
• Downloading with Jigdo
• Haskell 98 Language Report
• Glasgow Haskell Compiler
• All about monads
• CSS Level 2
• CGI Programming
• VM User's Manual
• ACM Computing Classification
• JDK 2 SDK Documentation
• JDK 5 Documentation (Java 1.5)
• LaTeX Reference Manual

References

• x86 Instruction Reference

People

• Michael Moore

Projects

• DynamoRIO
• Glasgow Haskell Compiler
• Haskell.org
• Clean System
• MLTon
• JavaCC
• PS-HTTPD
• ISLISP
• Turtle++
• Bit Wizardry
• Eclipse.org
• Higher Object Programming System
• C--
• Gauche Scheme
• LUSH - Lisp Universal Shell
• Scala Programming Language
• Q Equational Programming Language
• LALR Parser Generator in Scheme
• O'Haskell
• Multistage Programming
• MetaPost Page
• DotGNU Project
• TeXPower
• Standard ML of New Jersey
• ML Kit
• Single-Assignment C
• Fox Project: Advanced Languages for Systems Software
• Linear Naming and Computation
• MIT Program Analysis Group
• Programmiersprachen

Topics

• Richard Jones' Garbage Collection Page
• CLiki
• MemoryManagement.org
• ProofTheory.org

Organizations

• GI e.v.
• ACM
• Kestrel Institute

Recherche

• BibFinder
• Citeseer Research Index
• ACM Portal
• OGI Technical Reports
• DBLP Trier
• The Collection of Computer Science Bibliographies
• MIT AI Lab Memos
• Stanford Tech Reports
• Software Practice and Experience
• E.W. Dijkstra Archive
• CMU AI Repository
• Incompatibe Time Sharing System Archive
• http://theassayer.org/The Assayer
• Directory of Open Access Journals
• Information and Computation Journal (one year free from 2005-04)

Bibliography Lists

• List on Type-Based Analysis and Applications

Tools

• Hoogle
• Ipsum Lorem Generator
• LEO English/German Dictionary
• Recherce WDG
• Acronym Dictrionary
• Stadtplan Berlin
• FOLDOC
• HomePageSearch
• Melvyl - Basic Search
• Java Glossary
• BibFinder: Computer Science Bibliography
• ArgoUML
• MathWorld
• IEEE Explore

Conferences

2007

• ICFP 2007
• Haskell Workshop 2007
• IFL 2007

2006

• ATPS'06
• IFL 2006
• PPDP 2006
• TFP 2006
• ETAPS 2006
• CC 2006
• SAC 2006
• WRLA'06
• POPL'06
• PEPM 2006
• Formal Methods 2006
• PADL'06

2005

• Haskell Workshop 2005
• PPDP 2005
• GPCE'05
• ICFP 2005
• TFP'05
• IFL'05
• LOPSTR'05
• SAS'05

2004

• ESOP 2004
• CC 2004
• ACM SIGPLAN Scheme Workshop 2004
• AFP'04

2003

• SGAI AI-2003
• MultiCPL '03
• CP 2003

Research etc.

• Collected Advice on Research and Writing
• Advice for Authors (ECOOP)
• Compiler Connection

Programming Languages

• Shakespeare
• Whitespace
• Intercal
• Brainfuck
• Malbolge
• Beatnik

More serious:

• Jekyll

Miscellaneous

• Abstract State Machines
• Nectarine Radio
• Lisp History
• Language List
• Favicon.ico using Gimp