Used together with:
equat
(1)
lift
(1)
program
(1)
recurs
(1)
Stem
treansform$ (
all stems
)
1 papers:
FPCA-1985-Johnsson85
#equation
#recursion
#source code
λ Lifting: Treansforming Programs to Recursive Equations (
TJ
), pp. 190–203.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.