The following pages link to On the power of list iteration (Q3860813):
Displayed 17 items.
- Imperative abstractions for functional actions (Q604455) (← links)
- Logical foundations for programming semantics (Q685420) (← links)
- Semantics of interference control (Q759473) (← links)
- Modular tree transducers (Q807012) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Two-level semantics and abstract interpretation (Q911319) (← links)
- Macro tree transducers (Q1073576) (← links)
- Pushdown machines for the macro tree transducer (Q1089810) (← links)
- Two-level semantics and code generation (Q1095636) (← links)
- The congruence of two programming language definitions (Q1155952) (← links)
- Domain theory in logical form (Q1174593) (← links)
- On a generalized product for domains (Q1311968) (← links)
- Full abstraction for the second order subset of an Algol-like language (Q1369235) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- Limited second-order functionality in a first-order setting (Q2303245) (← links)
- Folding left and right over Peano numbers (Q4972067) (← links)
- Folding left and right matters: Direct style, accumulators, and continuations (Q6099203) (← links)