• Simula 67

  • Referenced in 135 articles [sw21333]
  • features garbage collection. Also other forms of subtyping (besides inheriting subclasses) were introduced in Simula...
  • IMPS

  • Referenced in 49 articles [sw09143]
  • simple type theory with partial functions and subtypes. Mathematical specification and inference are performed relative...
  • Creol

  • Referenced in 25 articles [sw09421]
  • independent from their implementation. The inheritance and subtyping relations are distinct in Creol. Interfaces form ... subtype hierarchy, whereas multiple inheritance is used for code reuse at the class level. This...
  • Convex

  • Referenced in 32 articles [sw07770]
  • type POLYHEDRON and polytopes by the subtype POLYTOPE. A POLYHEDRON may contain lines...
  • PIPER

  • Referenced in 28 articles [sw11478]
  • processes is used as both the subtyping relation in the type system and the abstraction...
  • Transfer

  • Referenced in 26 articles [sw21009]
  • Modular Design for Quotients in Isabelle/HOL. Quotients, subtypes, and other forms of type abstraction...
  • Lifting

  • Referenced in 26 articles [sw21010]
  • Modular Design for Quotients in Isabelle/HOL. Quotients, subtypes, and other forms of type abstraction...
  • Plastic

  • Referenced in 18 articles [sw07403]
  • with Inductive Types, Universes, and Coercive Subtyping. Plastic is an implementation in Haskell ... Extensions include Inductive Types, Universes, and Coercive Subtyping. It may be regarded as a meta...
  • PolyTOIL

  • Referenced in 23 articles [sw14205]
  • type-safe. By separating the definitions of subtyping and inheritance, providing a name...
  • MTT

  • Referenced in 21 articles [sw09783]
  • conditional equations and rules, types and subtypes, (possibly programmable) strategies for controlling the execution, matching...
  • PiDuce

  • Referenced in 20 articles [sw01418]
  • with channels, an expressive type system with subtyping, a pattern matching mechanism for deconstructing...
  • HasCasl

  • Referenced in 17 articles [sw00399]
  • include partial higher-order functions, higher-order subtyping, shallow polymorphism, and an extensive type-class...
  • LAS

  • Referenced in 17 articles [sw17180]
  • using auxiliary information, and classification of disease subtypes using bicluster membership. In addition, we carry...
  • Quat-2L

  • Referenced in 15 articles [sw22469]
  • belonging to one of the following six subtypes: (1) dimer, (2) trimer, (3) tetramer...
  • LBS

  • Referenced in 14 articles [sw12372]
  • manner, parameterised modules with a notion of subtyping for writing reusable modules, and nondeterminism...
  • SYMBA

  • Referenced in 11 articles [sw08528]
  • proving unsatisfiability/validity (e.g., proving that a subtyping relation holds). We are often interested in finding...
  • Jass

  • Referenced in 11 articles [sw32265]
  • postconditions, invariants), Jass additionally supports refinement, i.e. subtyping,checks and the novel concept oftrace assertions...
  • Oncomine

  • Referenced in 7 articles [sw17289]
  • spanning the majority of cancer types and subtypes. Here, we provide an update...
  • ACUOS2

  • Referenced in 7 articles [sw31984]
  • performance system for modular ACU generalization with subtyping and inheritance. Generalization in order-sorted theories...
  • MOMI

  • Referenced in 4 articles [sw09432]
  • foreign sites only if its type is subtyping-compliant with the type of what ... paper is the definition of this subtyping relation on classes and mixins that enables ... communication pattern. We show that communication by subtyping is type-safe in that exchanged code...