Reasonable space for the -calculus, logarithmically
From MaRDI portal
Publication:6649482
Recommendations
Cites work
- scientific article; zbMATH DE number 4123722 (Why is no real title available?)
- scientific article; zbMATH DE number 786499 (Why is no real title available?)
- (Leftmost-outermost) beta reduction is invariant, indeed
- A call-by-name lambda-calculus machine
- A provable time and space efficient implementation of NESL
- An abstract machine for strong call by value
- An implicit characterization of PSPACE
- Computation by interaction for space-bounded functional programming
- Deriving a lazy abstract machine
- Distilling abstract machines
- Full abstraction for PCF
- Functional programming in sublinear space
- Geometry of synthesis: a structured approach to VLSI design
- Higher-order functional reactive programming in bounded space
- Improving the lazy Krivine machine
- LOGSPACE and PTIME characterized by programming languages
- On randomised strategies in the \(\lambda \)-calculus
- On the correctness of the Krivine machine
- On the invariance of the unitary cost model for head reduction
- On the value of variables
- Simple parsimonious types and logarithmic space
- Space profiling for parallel functional programs
- Space-Efficient Computation by Interaction
- The Negligible and Yet Subtle Cost of Pattern Matching
- The next 700 Krivine machines
- The problem of space invariance for sequential machines
- Turing machines for dummies. Why representations do matter
This page was built for publication: Reasonable space for the \(\lambda \)-calculus, logarithmically
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6649482)
