same in MS-Word format, with link to a longer article
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
QAD Development Standards
Q-Midi - Q - Equational Programming Language
Python – An Introduction
Python Functions
Python for Joe Cross
Python Crash Course
Python - ACE home page
Purely Functional Programming
Pure - CIS @ UPenn
Public-key cryptography in functional programming context
Propositional Calculus
Proof Methods for Corecursive Programs
