Type-Directed PE [Danvy 96]

• Originates in Normalization by Evaluation in Logic and Category Theory

value

eval ?　? reify

exp

normalize = reify ? eval

• Exploit the Evaluator of the Meta Language

Previous slide

Next slide

Back to first slide

View graphic version