Skip to search formSkip to main contentSkip to account menu

Substructural type system

Known as: Substructural type systems, Ordered type system, Ordered type 
Substructural type systems are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or… 
Wikipedia (opens in a new tab)

Related topics

Related topics

24 relations
ATSAliasing (computing)Assignment (computer science)C++

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Relationships between longevity and conformation traits in Czech Fleckvieh cows.
The relationships between conformation and longevity traits were analysed in 58 493 Czech Fleckvieh cows first calved from 1994… 
2016
2016
North-Western Palaearctic species of the Pristiphora ruficornis group (Hymenoptera, Tenthredinidae)
The Pristiphora ruficornis group, defined here based on the structure of the penis valve and the genetic data, includes… 
2010
2010
Response of a grassland ecosystem to climate change in a theoretical model
The response of a grassland ecosystem to climate change is discussed within the context of a theoretical model. An optimization… 
2008
2008
Fronto-normal gait incorporating accurate practical looming compensation
Gait is an emerging biometric showing promise in its use. Most research focusses on fronto-parallel (FP) gait where people walk… 
2007
2007
Microminiature Linear Split Stirling Cryogenic Cooler for Portable Infrared Applications
Novel tactics, employed in carrying out military and antiterrorist operations, call for the development of a new generation of… 
2005
2005
A Type Safe DOM API
DOM (Document Object Model) is the W3C recommendation for an API for manipulating XML documents. The API is stated in terms of a… 
2003
2003
The Optimization of Lamb and Rayleigh Wave Generation Using Wideband‐Low‐Frequency EMATs
This paper describes a non‐contact ElectroMagnetic Acoustic Transducer (EMAT) that can be used to generate both Lamb and Rayleigh… 
2002
2002
Contribution to the Relationship Between Solar Radiation and Sunshine Duration in the Tropics : A Case Study of Experimental Data at Ilorin , Nigeria
From monthly average daily values of clearness index and relative sunshine spanning a period of two years, two equations (linear… 
1993
1993
Intersection theory of linear embeddings
We study intersection theoretic properties of subschemes defined by ideal sheaves of linear type in particular their behavior… 
1977
1977
Tree Realizations of Iterative Circuits
It is shown how any combinational function that can be described by a flow table—or equivalently—is realizable in iterative form… 
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)