Used together with:
equal
(1)
parameter
(1)
overload
(1)
program
(1)
obj
(1)
Stem
subsort$ (
all stems
)
1 papers:
ALP-1988-JouannaudKKM
#named
#programming
OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization (
JPJ
,
CK
,
HK
,
AM
), pp. 41–52.
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
.