NBE'98 programme, including actual papers.


NBE'98 was held was held on May 8-9, 1998 at Chalmers, Sweden.

Friday 8th
09h00-09h45 Welcome and practical arrangements; goal and plan of NBE'98 (Peter Dybjer)
09h45-10h30: Normalization by evaluation (Helmut Schwichtenberg) .ps here
10h30-10h45: break
10h45-11h30: The model of computable terms (Peter Hancock) .ps here
11h30-12h15: Categorical intuitions underlying semantic normalization proofs (Thomas Streicher) .ps here
12h15-13h45: lunch
13h45-14h30: Goedelization in the lambda-calculus (Mayer Goldberg) .ps here
14h30-15h15: Type-directed partial evaluation (Olivier Danvy) .ps here
15h15-15h45: break
15h45-16h30: From normalization by evaluation to type-directed partial evaluation (Andrzej Filinski) .ps here
16h30-17h15: A native ML implementation of type-directed partial evaluation (Zhe Yang) .ps here
17h15-18h00: Type-directed partial evaluation using type classes (Kristoffer Rose) .ps here
19h30-: Dinner

Saturday 9th
09h00-09h45: Equivalence proofs of coherence theorems and normalisation by evaluation (Yoshiki Kinoshita) .ps here
09h45-10h30: Normalisation by evaluation based on preservation of values (Ulrich Berger) .ps here
10h30-10h45: break
10h45-11h30: A categorical account of 2-level languages (Eugenio Moggi) .ps here
11h30-12h15: Connecting strong normalization, Kripke semantics and normalization by evaluation (Matthias Eberl) .ps here
12h15-13h45: lunch
13h45-14h30: Normalization and functor categories (John Reynolds) .ps here
14h30-15h15: Normalization by completeness (Thorsten Altenkirch) .ps here
15h45-16h30: Integrating normalization-by-evaluation into a staged programming language (Tim Sheard) .ps here
16h30-17h15: Normalization of a subset of Scheme using type predicates (Torben Mogensen) .ps here