Foundations of Programming Languages Seyed H. Roosta
Haskell exercises set 1
overview on declarative programming
Functional Programming Pure Functional Programming
CSE 3302 Programming Languages
Course Outcomes CSC 4101 CSC 4101: Programming Languages
A Simple and Efficient Compiler for a Minimal
Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL
programming in haskell
Expressing C++ Template Metaprograms as Lambda expressions
LBSC 708L Session 1
ABSTRACT F# is a succinct, type-inferred, expressive, efficient
Powerpoint ()
The λ – Calculus
Non-procedural Programming
Easel: Functional Game Programming
Lecture 12: Functions & Design
The 14th ACM SIGPLAN International Conference on Functional
Programming Language Theory and its Implementation