- Informal proceedings of the 2009 Workshop on Normalization by Evaluation:
-
co-located with LICS 2009
August 15, 2009
Los Angeles, California
- page 0:
-
"Preface"
-
Olivier Danvy, Aarhus University, Denmark
- pages 1-10:
-
"Extensional Normalization in the Logical Framework with Proof Irrelevant Equality"
-
Andreas Abel, Ludwig-Maximilians-Universitat Muenchen, Germany
- pages 11-20:
-
"Keeping sums under control"
-
Vincent Balat, Paris Diderot University - CNRS - PPS laboratory, France
- pages 21-28:
-
"Exceptional NbE for Sums"
-
Freiric Barral, Ludwig-Maximilians-Universitat Muenchen, Germany
- pages 29-34:
-
"Efficient normalization by evaluation"
-
Mathieu Boespflug, Ecole Polytechnique, INRIA, France
- pages 35-38:
-
"From self-interpreters to normalization by evaluation"
-
Mathieu Boespflug, Ecole Polytechnique, INRIA, France
- pages 39-48:
-
"Lifted inference: normalizing loops by evaluation"
-
Oleg Kiselyov, FNMOC, USA
-
Chung-chieh Shan, Rutgers University, USA
- pages 49-56:
-
"Accumulating bindings"
-
Sam Lindley, University of Edinburgh, UK
- pages 57-64:
-
"Towards Type-Directed Partial Evaluation for Shift and Reset"
-
Kanae Tsushima and Kenichi Asai, Ochanomizu University, Japan
- pages 65-86:
-
"NbSE: Normalisation by Stack-based Evaluation"
-
Rene Vestergaard, RCIS, JAIST, Nomi, Japan
Last update:
15
August
2009, danvy@cs.au.dk