The following pages link to (Q2723934):
Displaying 5 items.
- Deaccumulation techniques for improving provability (Q882487) (← links)
- Equivalence checking of two functional programs using inductive theorem provers (Q2410575) (← links)
- Correctness of Context-Moving Transformations for Term Rewriting Systems (Q5743602) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896945) (← links)
- Folding left and right matters: Direct style, accumulators, and continuations (Q6099203) (← links)