Tools for Refactoring Functional Programs
The Next Mainstream Programming Language: A
The next Haskell will be strict
Standard ML: A Quick Tutorial
CA320 - Computability & Complexity
An introduction to Python
An Introduction to Microsoft F#
Abstract machine for a comonadic dataflow language
A/x - LAMP | EPFL
A taste of Haskell
19th Century Logic and 21st Century Computing
15. Functional Programming
04a_Functional
(λx. From x Functions to x Types) Higher-Order
A Second Edition: Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL
7. Introduction to the Lambda Calculus
3. Functional Programming
Class Notes 2b: Scheme Reference
CITS3211 FUNCTIONAL PROGRAMMING 5. Higherorder functions
Chapter 5 THE LAMBDA CALCULUS
Chapter 2