Copenhagen Programming Language Seminar
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.
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 firstname.lastname@example.org with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org