From Self-Interpreters to Normalization by Evaluation

Mathieu Boespflug 1, 2
2 TYPICAL - Types, Logic and computing
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR
Abstract : We characterize normalization by evaluation as the composition of a self-interpreter with a self-reducer using a special representation scheme, in the sense of Mogensen (1992). We do so by deriving in a systematic way an untyped normalization by evaluation algorithm from a standard interpreter for the λ-calculus. The derived algorithm is not novel and indeed other published algorithms may be obtained in the same manner through appropriate adaptations to the representation scheme.
Type de document :
Communication dans un congrès
Olivier Danvy. 2009 Workshop on Normalization by Evaluation, Aug 2009, Los Angeles, United States. 2009, 〈http://www.brics.dk/~danvy/NBE09/informal-proceedings/〉
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00434284
Contributeur : Mathieu Boespflug <>
Soumis le : samedi 21 novembre 2009 - 22:12:35
Dernière modification le : jeudi 10 mai 2018 - 02:06:59
Document(s) archivé(s) le : jeudi 17 juin 2010 - 21:18:58

Fichiers

selfnbe.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00434284, version 1
  • ARXIV : 0911.4203

Collections

Citation

Mathieu Boespflug. From Self-Interpreters to Normalization by Evaluation. Olivier Danvy. 2009 Workshop on Normalization by Evaluation, Aug 2009, Los Angeles, United States. 2009, 〈http://www.brics.dk/~danvy/NBE09/informal-proceedings/〉. 〈inria-00434284〉

Partager

Métriques

Consultations de la notice

205

Téléchargements de fichiers

159