From Self-Interpreters to Normalization by Evaluation

Details From Self-Interpreters to Normalization by Evaluation From Self-Interpreters to Normalization by Evaluation

2009-11-21

arxiv.org/abs/0911.4203v1

2009 Workshop on Normalization by Evaluation, Los Angeles : \'Etats-Unis d'Am\'erique (2009)

Computer Science

Programming Languages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

From Self-Interpreters to Normalization by Evaluation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with From Self-Interpreters to Normalization by Evaluation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and From Self-Interpreters to Normalization by Evaluation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-417854