Structural type system

Known as: Structural subtyping, Structural type, Structural typing 
A structural type system (or property-based type system) is a major class of type system, in which type compatibility and equivalence are determined… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Analysis of a considerable amount of data on the anatomy of 14 structures of the head capsule in 96 genera of fleas (over 90% of… (More)
  • table 1
  • table 2
Is this relevant?
2014
2014
Grace is a new gradually, structurally typed object-oriented programming language. Formal models of existing languages provide a… (More)
Is this relevant?
2011
2011
Dynamically typed languages are flexible and impose few burdens on the programmer. In contrast, static typing leads to software… (More)
Is this relevant?
Highly Cited
2009
Highly Cited
2009
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
2008
2008
This paper presents WHITEOAK: a JAVA extension that introduces structural type equivalence and subtyping into the language. We… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.4
  • table 1
  • figure 3.2
Is this relevant?
2008
2008
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural… (More)
  • figure 2
Is this relevant?
2007
2007
Accurate sequence alignments are essential for homology searches and for building three-dimensional structural models of proteins… (More)
  • table 1
  • figure 3
  • figure 8
  • table 2
  • figure 11
Is this relevant?
2007
2007
Sol-gel transition processes of algal galactans were studied using cryofixation method in combination with freeze-drying and… (More)
  • figure 2
  • figure 1
  • figure 3
  • table 1
  • figure 4
Is this relevant?
1997
1997
We present an O(n3) time type inference algorithm for a type system with a largest typeΤ, a smallest type ⊥, and the usual… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
types We have used the term abstract type for types of the form P = Some(A:Type) B, because this models the concept of having an… (More)
Is this relevant?