Functional Programming

VU 2   SS 2007   LVA 703246

Description

Functional Programming

• is not about how to be an effective programmer;
• is about how to write programs using functions;
• relies heavily on term/tree structures;
• is very suitable for reasoning about programs;
• is convenient for implementing program transformations.

The following topics will be covered:

• Introduction to OCaml.
• Search algorithms: generate and filter.
• How to reason about Functional Programs.
• Implementation of Functional Programming Languages.
• Type System.