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
λ-definition of Function(al)s by Normal Forms
λ Calculus - Computer Science at RPI
Y in Practical Programs Extended Abstract
X - Rensselaer Polytechnic Institute: Computer Science
x + 1 - Postech
x + 1
S14Streams
RIOT: I/O-Efficient Numerical Computing in R
review of haskell
Returning a Function (SCALA)
Relative Completeness for Logics of Functional Programs
Register Allocation
recursive functions
Recursion and Induction: Haskell