Collaborated with:
F.K.Hanna
Talks about:
implement
(1)
function
(1)
logic
(1)
pure
(1)
Person:
Neil Daeche
DBLP: Daeche:Neil
Contributed to:
1986
Wrote 1 papers:
CADE-1986-HannaD
#functional
#implementation
#logic
Purely Functional Implementation of a Logic (
FKH
,
ND
), pp. 598–607.
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
.