Lambda 表达式的 Partial Evaluation

• Demo 链接: https://butter-xz.com/lambda_pe/

包含 Lambda 表达式的 Evaluation 和 Partial Evaluation(包括 Binding Time Analysis 和 Staging 算法)的实现, 并提供了一个简单的前端可以在线体验这些算法.

• 源代码: https://github.com/butterunderflow/lambda_pe
• 相关文章: Partial Evaluation for Lambda Calculus