scheme1 - Computer Science and Electrical Engineering
scheme1
scheme1
Scheme [PPT]
Scheme Functional Programming Lambda Calculus
Scheme and functional programming
Scala - Dave Reed
same in MS-Word format, with link to a longer article
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
Untyped Lambda Calculus - Programming Systems Lab
Unit 11 — Functional Programming with Haskell
Types and Programming Languages
Type-level functions for Haskell
Type systems for SDN Controllers Marco Gaboardi Michael Greenberg David Walker
