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… 
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… 
Highly Cited
1999
Highly Cited
1999
Band structure and stability of zinc-blende-based semiconductor polytypes
Using a first-principles generalized one-dimensional Ising model we have studied the band structure and stability of two types of… 
Highly Cited
1999
Highly Cited
1999
The Internal and External Distribution of Pronominal DPs
The form and distribution of pronouns varies considerably cross-linguistically. In this paper, I will propose that there is a… 
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)