Normalization for Moggi's computational lambda calculus
Implementation of Filinski's normalization algorithm for the
computational $\lambda$-calculus.
- Filinski. Normalization by Evaluation for the Computational Lambda-Calculus
- Abel and Sattler. Normalization by Evaluation for Call-By-Push-Value
- Lindley. Normalisation by evaluation
- Valliappan, Russo & Lindley. Practical NbE for EDSLs