scientific article; zbMATH DE number 1808202
From MaRDI portal
Publication:3149665
Recommendations
- Composition of functions with accumulating parameters
- The Substitution Vanishes
- Manipulating accumulative functions by swapping call-time and return-time computations
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Point-free program transformation
Cited in
(11)- Using circular programs to deforest in accumulating parameters
- When is a functional program not a functional program?
- Composition of functions with accumulating parameters
- Algebraic Transformation Techniques for Functional Languages
- scientific article; zbMATH DE number 2090075 (Why is no real title available?)
- scientific article; zbMATH DE number 2090115 (Why is no real title available?)
- Automatically Introducing Tail Recursion in CakeML
- Polynomial-time inverse computation for accumulative functions with multiple data traversals
- Manipulating accumulative functions by swapping call-time and return-time computations
- Point-free program transformation
- Deaccumulation techniques for improving provability
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3149665)
