Pages that link to "Item:Q3867165"
From MaRDI portal
The following pages link to Continuation-Based Program Transformation Strategies (Q3867165):
Displaying 15 items.
- A geometric interpretation of LD-resolution (Q596040) (← links)
- Synthetic programming (Q761788) (← links)
- Obtaining lazy evaluation with continuations in SCHEME (Q911741) (← links)
- On the dynamic extent of delimited continuations (Q1044694) (← links)
- A syntactic theory of sequential control (Q1101435) (← links)
- Existential continuation (Q1115643) (← links)
- Final algebra semantics and data type extensions (Q1131834) (← links)
- On the expansion of non-linear functions (Q1175710) (← links)
- Functional un\(|\)unparsing (Q1929354) (← links)
- Constraint-based correctness proofs for logic program transformations (Q1941873) (← links)
- Conversion to tail recursion in term rewriting (Q2436518) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- Une charpente de semi-unification (Q3789065) (← links)
- Manipulating accumulative functions by swapping call-time and return-time computations (Q5398337) (← links)