Computer Science BooksFunctional Programming Books

Functional Programming Lecture Notes by David Walker

Functional Programming Lecture Notes by David Walker

Functional Programming Lecture Notes by David Walker

This note covers the following topics: O'Caml, Simple Data, Thinking Recursively, Poly-HO: Polymorphism and Higher-Order Programming, Pipelines, Datatypes, The Functional Evaluation Model, Functional Space Model, Equational Reasoning, Modules and Functors, Modular Reasoning, Mutable Data Structures and Imperative Interfaces, Threads, Locks and Mutable Data, Parallel Complexity Model, Parallel Scans and Filters.

Author(s):

sNA Pages
Similar Books
Introduction to Functional Programming and the Structure of Programming Languagesusing OCaml

Introduction to Functional Programming and the Structure of Programming Languagesusing OCaml

This note the following topics: syntax and semantics, Polymorphic functions and iteration, Lists, Constructor types, Trees and linearization, Parsing, Mini OCaml interpreter, Running time, Inductive correctness proofs, Arrays and data structures.

s195 Pages
Functional Programming Lecture Notes by David Walker

Functional Programming Lecture Notes by David Walker

This note covers the following topics: O'Caml, Simple Data, Thinking Recursively, Poly-HO: Polymorphism and Higher-Order Programming, Pipelines, Datatypes, The Functional Evaluation Model, Functional Space Model, Equational Reasoning, Modules and Functors, Modular Reasoning, Mutable Data Structures and Imperative Interfaces, Threads, Locks and Mutable Data, Parallel Complexity Model, Parallel Scans and Filters.

sNA Pages
Introduction to Functional Programming

Introduction to Functional Programming

This note covers the following topics: Lambda calculus, Lambda calculus as a programming language, Types, A taste of ML, Proving programs correct, Effective ML.

s168 Pages
Functional Programming III

Functional Programming III

This note explains the fundamental programming concepts such as recursion, abstraction, higher-order functions and data types, whilst at the same time emphasizing the practical use of such constructs by applying them within a graphical environment.

sNA Pages