Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,468 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
ALGOL 68
Algebraic data type
C++
Comparison of type systems
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Ways of Avoiding Intervention: Some thoughts on the development of object relatives, passive, and control
A. Belletti
,
L. Rizzi
2013
Corpus ID: 18210073
In her The Acquisition of Syntax in Children from 5 to 10, Carol Chomsky observed that certain syntactic constructions such as…
Expand
2011
2011
STRUCTURAL IDENTIFICATION OF DISTINCT INVERSIONS OF PLANAR KINEMATIC CHAINS
S. Sanyal
2011
Corpus ID: 55883899
Inversions are various structural possibilities of a kinematic chain. The number of inversions depends on the number of links of…
Expand
2008
2008
THE INFLUENCE OF INFILL PANELS ON VULNERABILITY CURVES FOR RC BUILDINGS
B. Borzi
,
H. Crowley
,
R. Pinho
2008
Corpus ID: 58921985
A Simplified Pushover-Based Earthquake Loss Assessment method (SP-BELA) for the definition of vulnerability curves has recently…
Expand
2007
2007
An assessment of dead wood patterns and their relationships with biophysical characteristics in two landscapes with different disturbance histories in coastal Oregon, USA
R. Kennedy
,
T. Spies
2007
Corpus ID: 55953029
Understanding the relative importance of landscape history, topography, vegetation, and climate to dead wood patterns is…
Expand
2004
2004
On the Theory of Structural Subtyping
Viktor Kunčak
,
M. Rinard
arXiv.org
2004
Corpus ID: 1044405
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of…
Expand
2004
2004
Chile's Fiscal Rule
N. Fiess
2004
Corpus ID: 55522778
While the debate on fiscal policy in Europe focuses on how to facilitate the workings of automatic stabilizers while achieving…
Expand
2003
2003
A new iron oxophosphate SrFe3(PO4)3O with chain-like structure
V. Morozov
,
K. Pokholok
,
+4 authors
G. Tendeloo
2003
Corpus ID: 97532174
1991
1991
Habitat selection and subsequent reproductive success in the beaugregory damselfish
M. Itzkowitz
Environmental Biology of Fishes
1991
Corpus ID: 38893622
SynopsisMale beaugregory damselfish,Stegastes leucostictus, were provided with three types of artificial breeding structures to…
Expand
1991
1991
11B NMR studies of an aryl boronic acid bound to chymotrypsin and subtilisin
J. Baldwin
,
T. Claridge
,
A. Derome
,
C. Schofield
,
Bradley D. Smith
1991
Corpus ID: 84104096
1979
1979
Comparison of the predicted model of α-lytic protease with the X-ray structure
L. J. Delbaere
,
G. Brayer
,
M. James
Nature
1979
Corpus ID: 4324265
THERE are several methods for the prediction of secondary structural features of protein molecules from the amino acid sequence1…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE