Used together with:
definit
(1)
build
(1)
deriv
(1)
fusion
(1)
warm
(1)
Stem
cata$ (
all stems
)
1 papers:
FPCA-1995-LaunchburyS
#recursion
Warm Fusion: Deriving Build-Cata’s from Recursive Definitions (
JL
,
TS
), pp. 314–323.
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
.