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.
ISLP-1991-LakshmanR #prolog #re-engineering #semantics #type system