normalization by evaluation

Sub-cards (0)Archived
Comments (1)
Reply

Edward Kmett – Building Fast Functional Languages Fast

This talk is a nice introduction to normalization by evaluation.