Home

Andrzej__Filinski


Controlling Effects

Normalization by Evaluation for the Computational Lambda-Calculus

Recursion from iteration

Representing layered monads

Representing monads