optimal-reduction

Jun 28, 2026

• lambda-calculus
• beta-reduction
• de-bruijn
• binding
• computation
• functional
• optimal-reduction
• interaction-nets
• beta-optimal
• graph-reduction
• sharing

Jun 28, 2026

• hvm
• runtime
• interaction-nets
• optimal-reduction
• parallel
• rust
• functional