BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
type (1)
criteria (1)
axiomat (1)
order (1)
quotient (1)

Stem subobject$ (all stems)

3 papers:

ICALPICALP-2003-Hannay #axiom #data type #higher-order
Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types (JEH), pp. 903–917.
ECOOPECOOP-1996-RossieFW #inheritance #modelling
Modeling Subobject-based Inheritance (JGRJ, DPF, MW), pp. 248–274.
OOPSLAOOPSLA-1995-RossieF #algebra #semantics
An Algebraic Semantics of Subobjects (JGRJ, DPF), pp. 187–199.

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.