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
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
