Modelling multiple inheritance with colimits

DOI10.1007/BF01888231zbMath0707.68055MaRDI QIDQ919836

Man-chi Pong, Huimin Lin

Publication date: 1990

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

object-oriented programmingcategorical semanticsmultiple inheritancecolimitsobject-oriented programming languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Uses Software

• Commonloops

Cites Work

• A semantics of multiple inheritance
• An ideal model for recursive polymorphic types

This page was built for publication: Modelling multiple inheritance with colimits