Used together with:
specif
(1)
languag
(1)
algebra
(1)
higher
(1)
order
(1)
Stem
lambdalg$ (
all stems
)
1 papers:
RTA-1993-GuiO
#algebra
#higher-order
#named
#specification
LAMBDALG: Higher Order Algebraic Specification Language (
YG
,
MO
), pp. 462–466.
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
.