Lambda Calculus
Lambda Calculus
Lambda
L11 - Computing at Northumbria University
l06Monads&Interp
l01IntroTypeClasses - Portland State University
KTH | ID1019 Programming II 7.5 credits
Kingston Business School
Jun 2004 - University of Malta
Joy: Forth`s Functional Cousin
Isabelle/HOL for Reachability Analysis of Continuous Systems
A retrospective on Haskell
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
