Lambda Calculus
Lambda
L11 - Computing at Northumbria University
l06Monads&Interp
l01IntroTypeClasses - Portland State University
KTH | ID1019 Programming II 7.5 credits
Kingston Business School
Jun 2004 - University of Malta
Joy: Forth`s Functional Cousin
Isabelle/HOL for Reachability Analysis of Continuous Systems
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
