The optimal implementation of functional programming languages
From MaRDI portal
Publication:5397484
Recommendations
Cited in
(38)- A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine
- Light logics and optimal reduction: completeness and complexity
- Spinal atomic \(\lambda\)-calculus
- Parallel beta reduction is not elementary recursive
- Distributed computation by graph reduction
- Reducibility between classes of port graph grammar.
- Linear dependent types in a call-by-value scenario
- Lambda-calculus with director strings
- On randomised strategies in the \(\lambda \)-calculus
- (Optimal) duplication is not elementary recursive
- scientific article; zbMATH DE number 194911 (Why is no real title available?)
- scientific article; zbMATH DE number 7809760 (Why is no real title available?)
- Is the Optimal Implementation Inefficient? Elementarily Not
- Preface to the special volume
- The graphical Krivine machine
- Resource operators for \(\lambda\)-calculus
- Interaction nets with McCarthy's \(\mathsf{amb}\)
- Relating conflict-free stable transition and event models via redex families
- Jumping Boxes
- The weak lambda calculus as a reasonable machine
- Complete laziness: a natural semantics
- Non-linearity as the metric completion of linearity
- New developments in environment machines
- The evaluation of first-order substitution is monadic second-order compatible
- scientific article; zbMATH DE number 7204428 (Why is no real title available?)
- Optimizing structural recursion in functional programs
- Interaction nets for linear logic
- A prismoid framework for languages with resources
- Abstract machines, optimal reduction, and streams
- scientific article; zbMATH DE number 1728386 (Why is no real title available?)
- A categorical reduction system for linear logic
- scientific article; zbMATH DE number 1161584 (Why is no real title available?)
- Token-passing optimal reduction with embedded read-back
- Phase semantics and decidability of elementary affine logic
- Proof nets, garbage, and computations
- Token-passing nets for functional languages
- scientific article; zbMATH DE number 3974250 (Why is no real title available?)
- scientific article; zbMATH DE number 3976299 (Why is no real title available?)
This page was built for publication: The optimal implementation of functional programming languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5397484)
