English Dictionary

In type theory, behavioral subtyping ensures that every object of a subtype adheres to the specification of its supertype.

型理論において、各サブタイプのオブジェクトがスーパタイプの仕様を満たすようなサブタイプ関係は、サブタイプのオブジェクトがスーパタイプの仕様に適合することを保証します。