Software System Design and Implementation
Software Architecture Research Group
slides 4-up
slides 4-up
Slides - Chapter 10
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
Proof for functional programming - University of Kent School of
Programming with Miranda
Programming paradigms.
Programming Paradigms(Overview)
