Last updated: Tue Apr 15 19:11:16 CDT 2008
Programming Language Research Links
Functional Programming
Why Functional Programming Matters by John Hughes
The History of Lisp by John McCarthy
The Evolution of Lisp by Guy L. Steele Jr. and Richard P. Gabriel
Conception, Evolution, and Application of Functional Programming Languages by Paul Hudak
Functional Programming for the Rest of Us by Vyacheslav Akhmechet
Commercial Users of Functional Programming
Type Systems
Types and Programming Languages by Benjamin C. Pierce
Dynamic Typing in a Statically Typed Language by Martin Abadi et al.
A Very Modal Model of a Modern, Major, General Type System by Andrew W. Appel et al.
Type Systems for Programming Languages by Robert Harper
Lambda Calculus
The Lambda Calculus: It's Syntax and Semantics by H. P. Barendregt
An Introduction to Lambda Calculus and Scheme by Jim Larson
Lambda Calculus page at Oleg Kiselyov's website
Lambda Calculus at Wikipedia
Misc
CONS Should Not CONS Its Arguments Part II: Cheney on the M.T.A by Henry Baker
Iterators: Signs of Weakness in Object-Oriented Languages by Henry Baker
The original 'Lambda Papers' by Guy L. Steele and Gerald Sussman
Re-opening Closures by Andrew W. Appel
Lambda, the Ultimate Label (Larceny twobit compiler notes)
Implementation Strategies for First-Class Continuations by William D. Clinger et al.
The Joy of Scheme by Daniel P. Friedman
Jonathan A. Rees on Object-Oriented
Viewing Control Structures as Patterns of Passing Messages by Carl Hewitt
The Coq Proof Assistant
Why: a Software Verification Tool
Oleg Kiselyov's website