Copenhagen Programming Language Seminar


An Introduction to Normalization by Evaluation

Andrzej Filinski
Department of Computer Science, University of Copenhagen, Denmark

Thursday, November 14th, 15:15-16:00
IT-C, Glentevej 67, room 2.03


The concept of normalization by evaluation (NBE) has seen significant interest in the last few years. In this talk, I will present the basic idea of reduction-free normalization of lambda-terms, and sketch how it can be reduced to standard evaluation using NBE. I will also outline how NBE can be used to achieve a form of cogen-based partial evaluation in higher-order functional languages with general recursion and interpreted constants.

This talk is intended to serve as an overview and tutorial, rather than to present the latest technical results. Basic familiarly with the simply-typed lambda calculus and its semantics, and/or general partial-evaluation concepts will be helpful, but not essential.

Scientific host: Peter Sestoft. Administrative host: Camilla Jørgensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, IT-C and KVL.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org