Using TEX`s language within a course about functional programming
User`s Functions in Standard Prolog
λ-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
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?
