Used together with:
type
(2)
reconstruct
(1)
semant
(1)
prolog
(1)
mycroft
(1)
Stem
keef$ (
all stems
)
1 papers:
ISLP-1991-LakshmanR
#prolog
#re-engineering
#semantics
#type system
Typed Prolog: A Semantic Reconstruction of the Mycroft-O’Keefe Type System (
TLL
,
USR
), pp. 202–217.
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
.