Eff Impl Func Lang

Contents

Implementing lazy evaluated languages efficiently on current hardware is no easy task; simple and elegantt implementation models exist but are slow, and building implementations that run as fast as their imperative, strictly evaluated counterparts is still not possible.

In this seminarr we will study, by reading papers together and discussing them, how functional languages are currently implemented, and how program analysis and program transformation may result in faster implementations.

Literature

papers from the open literature

Course Form

Seminar in whcih we jointly read papers. Depending on the number of participants we will hand out separate subjects for which you will have to prepare a presentatation. In order to give the work a concrete basis we will try to study areas as much as possible in the context of the current implementation of the Utrecht Haskell Compiler.

Exam Form

You will have to prepare:

• a presentation
• a small thesis about the subject of this presentation
• where applicable: part of an implementation

-- DoaitseSwierstra - 24 Jun 2004