Copenhagen Programming Language Seminar
Normalization by evaluation is a technique to compute the full
beta-normal form of lambda-terms. In the first step, terms are
interpreted in some value domain, which corresponds to computing a
semantic weak head normal form. In the second step, values are
reified, i.e., converted back to terms which are actually normal forms.
During reification, evaluation under binders takes place.
Scientific host:Carsten Schürmann Administrative host:
All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, KVL and RUC.
COPLAS is sponsored by the FIRST Graduate School.
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