Haskell

edit
Functional programming
Foreign function interface
Hindley–Milner type system
Lazy evaluation
Monad (functional programming)
Lambda calculus
Haskell
Haskell Curry
Glasgow Haskell Compiler
Haskell 98 features
Haskell Platform
Yesod (web framework)
Happstack
Snap (web framework)