A Representation Theorem for Second-Order Functionals
Functional Imperative Style
Probabilistic Modelling, Inference and Learning using Logical
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
