mrsc icon indicating copy to clipboard operation
mrsc copied to clipboard

Published 20 hours ago • verified publisher icon ilya-klyuchnikov

PFP: Generic component for residuation

Open ilya-klyuchnikov opened this issue 12 years ago • 0 comments

It is extremely easy to make a generic component for residuation if residual program is in form: lhs -> rhs with scoping. It also should be true top-down residuation: code generator should produce self-efficient expression for a subtree/subgraph.

ilya-klyuchnikov avatar Aug 26 '11 01:08 ilya-klyuchnikov