Collaborated with:
N.Daeche
Talks about:
implement
(1)
function
(1)
logic
(1)
pure
(1)
Person:
F. Keith Hanna
DBLP: Hanna:F=_Keith
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
.