Chapter 1 - Introduction
Chapter 1 - eLisa UGM
Chapter 1
Chapter 1
Chapter 1
Ch1516rev
Ch15-w
Ch. 15
Certification of context-free grammar algorithms
CategoriesAndAlgebras
A retrospective on Haskell
A Representation Theorem for Second-Order Functionals
A general introduction to Functional Programming using Haskell
A fully abstract semantics for a higher
A Course in Haskell-Based Software Testing
A Brief Survey of Abstract Machines for Functional Programming
A Brief Introduction to Functional Reactive Programming and Yampa
7. Logic Programming in Prolog
7. Introduction to the Lambda Calculus
5. Functional Programming
