An Introduction to Microsoft F#
An introduction to functional programming using Haskell
An Efficient Algorithm for Min-Max Convex Semi
an approach to declarative programming based on a rewriting
Algol and Haskell
algol 60 - Computer and Information Science
Algebraic Data Types - University of Edinburgh
Advanced Formal Methods
Abstract machine for a comonadic dataflow language
Abstract Interpretation - Dipartimento di Informatica
ABSTRACT F# is a succinct, type-inferred, expressive, efficient
A/x - LAMP | EPFL
A Typed Lambda Calculus with Categorical Type Constructors 1
A Tutorial Introduction to the Lambda Calculus
A taste of Haskell
A system of constructor classes
A static analysis for Bulk Synchronous Parallel ML to avoid
A Simple and Efficient Compiler for a Minimal
A short introduction to the Lambda Calculus
A Second Edition: Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL
