A short introduction to the Lambda Calculus
QAD Development Standards
This article discusses the programming language LISP. The
Thinking in Clojure 26-Jul-16
Theorems for free! - Computing Science
The λ – Calculus
The Next Mainstream Programming Language: A
The next Haskell will be strict
The Lambda Calculus: a minimal ML?
The gist of side effects in pure functional languages
Structure of Programming Languages – Lecture 6
Standard ML: A Quick Tutorial
Software System Design and Implementation
Software Architecture Research Group
slides 4-up
slides 4-up
Slides - Chapter 10
The current topic: Scheme Announcements Review: car, cdr, and
The countdown problem - School of Computer Science
The Continuity of Monadic Stream Functions
