Space-Efficient Computation by Interaction

DOI10.1007/11874683_40MaRDI QIDQ3613366zbMATH OpenOpenAlexFDO

Authors Ulrich Schöpp

Publication date 12 March 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11874683_40

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Recommendations

• Computation by interaction for space-bounded functional programming
• Functional programming in sublinear space
• Simple parsimonious types and logarithmic space
• Logic programming and logarithmic space
• Programming Languages and Systems

Cited in

(10)

• (In)efficiency and reasonable cost models
• Computation by interaction for space-bounded functional programming
• Recursion and dynamic data-structures in bounded space: towards embedded ML programming
• Functional programming in sublinear space
• A Fresh Look at the λ-Calculus
• Simple parsimonious types and logarithmic space
• Programming Languages and Systems
• Reasonable space for the -calculus, logarithmically
• Reasonable space for the -calculus, logarithmically
• Slightly nonlinear higher-order tree transducers

This page was built for publication: Space-Efficient Computation by Interaction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613366)