Macro Lambda Calculus
Anton Salikhmetov
TL;DR
The paper presents a system for encoding lambda calculus terms into interaction nets, facilitating call-by-need evaluation and supporting macro definitions for efficient computation.
Contribution
It introduces a novel encoding of lambda calculus into interaction nets with macro support, enabling optimized call-by-need evaluation.
Findings
Developed an interaction system for call-by-need evaluation
Created an encoding mechanism for lambda terms into interaction nets
Implemented software compatible with macro lambda calculus notation
Abstract
The goal of our Macro Lambda Calculus project (MLC) is to encode lambda terms into interaction nets. Its software implementation will accept input in the notation similar to lambda calculus allowing macro definitions. Output is similar to interaction calculus and is suitable for our Interaction Nets Compiler program (INC). In this paper, we describe the interaction system for call-by-need evaluation and the mechanism of encoding lambda terms into this system which MLC is based on.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Advanced Database Systems and Queries · Logic, Reasoning, and Knowledge