danelahman / Normalization-By-Evaluation

Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories
14Updated 11 years ago

Related projects

Alternatives and complementary repositories for Normalization-By-Evaluation