Experiments on normalization by evaluation based on the untyped lambda calculus.
valmirjunior0088/ulc
Experiments on normalization by evaluation based on the untyped lambda calculus
Scala
Experiments on normalization by evaluation based on the untyped lambda calculus
Scala