Programming Languages
- Haskell.Org's
Google Summer of Code

- Syllabus
- Calendar
- Tucker and Noonan text home page
- Why Functional Programming Matters (.pdf) --by John Hughes
- Why Haskell Matters
- Haskell --Haskell home page
-
- Download page for GHC
- Using GHCi
- Prelude Tour
- The Glorious Glasgow Haskell Compilation System User's Guide --also here
- Haskell Heirarchical Libraries --also here
- GUI Programming in GHC
- The Haskell WikiBook
- Yet Another Haskell Tutorial
(.pdf)

- All About Monads
- Assignment #1
- Examples
- The Evolution of a Haskell Programmer
- Monads Through Pictures --Azad Balour
-
You Could Have Invented Monads! (And Maybe You Already
Have.) --Dan Piponi

- Write Yourself a Scheme in 48 Hours (in Haskell)
- A Gentle Introduction to Haskell --not
- J --an APL like language, with powerful built-in functions for handling arrays, etc.
- Scheme Resources
- Prolog Resources
- Introduction to the Lambda
Calculus --Barendregt (.pdf)

- Lecture Notes on the Lambda Calculus --Peter Selinger (.pdf)
- Computability and Lambda
Definability --Alan Turing (1937)

- To Dissect a Mockingbird --A Graphical Notation for the Lambda Calculus with Animated Reduction (also see MockingBird Fun)
- Lambda tutorial --with javascript reducer
- Chad Brown Papers & Notes --link at bottom of page to Berendregt [1984] notes
- Curry's Paradox --from the Stanford Encyclopedia
- The Why of Y --by Richard Gabriel (.pdf) -thanks to Adam
- The BNF Web Club
- The Lex and Yacc Page--links to sources + docs, also Flex and Bison
- A Compact Guide to Lex and Yacc--Thomas Niemann
- Lex and Yacc Primer/HOWTO--example files here. --Bert Hubert
- Java and functional programming
- language wars . . .
- The Unlambda Language--"your functional programming nightmares come true"
- Whitespace
- A Page About Quines--David Madore
- ACM
- O'Reilly--computing books
Updated March 12, 2007