Vrije Universiteit Amsterdam
Amsterdam, The Netherlands
Area of Study
Taught In English
Course Level Recommendations
ISA offers course level recommendations in an effort to facilitate the determination of course levels by credential evaluators.We advice each institution to have their own credentials evaluator make the final decision regrading course levels.
Recommended U.S. Semester Credits3
Recommended U.S. Quarter Units4
Hours & Credits
To obtain basic knowledge of functional programming (using Haskell) and its foundations via lambda calculus and equational reasoning.
In the practical work we use the functional programming language Haskell. We practice with the basics such as lists, recursion, data-types, and a bit of monads.
The theoretical part is concerned with the foundations of functional programming in the form of lambda calculus and equational reasoning. We study in untyped lambda calculus beta reduction, reduction strategies, confluence, encoding of data-types, fixed point combinators and recursive functions. In addition we study the lambda-calculus with simple types, its typing system and a type inference algorithm, and possibly strong normalization of simply typed lambda-calculus. In equational reasoning we work towards the results that all initial models are equal up to isomorphism, and that the term model is an initial model.
The theoretical part is taught in the lectures and exercise classes. In addition, there is a programming lab for programming in Haskell.
TYPE OF ASSESSMENT
Written examination, programming assignments in Haskell, and (possibly obligatory) hand-in theory exercises.
RECOMMENDED BACKGROUND KNOWLEDGE
It helps to be familiar with formal reasoning as for example taught in the course Logic and Modeling.
Courses and course hours of instruction are subject to change.
Some courses may require additional fees.