Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,670,432 papers from all fields of science
Search
Sign In
Create Free Account
Substructural type system
Known as:
Substructural type systems
, Ordered type system
, Ordered type
Expand
Substructural type systems are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
24 relations
ATS
Aliasing (computing)
Assignment (computer science)
C++
Expand
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.
L. Zavadilová
,
E. Němcová
,
M. Štípková
,
J. Bouška
2018
Corpus ID: 42983663
The relationships between conformation and longevity traits were analysed in 58 493 Czech Fleckvieh cows first calved from 1994…
Expand
2018
2018
Metric Semantics for Probabilistic Relational Reasoning
A. Amorim
,
Marco Gaboardi
,
Justin Hsu
,
Shin-ya Katsumata
arXiv.org
2018
Corpus ID: 49740932
The Fuzz programming language [Reed and Pierce, 2010] uses an elegant linear type system to express and reason about function…
Expand
2016
2016
North-Western Palaearctic species of the Pristiphora ruficornis group (Hymenoptera, Tenthredinidae)
M. Prous
,
V. Vikberg
,
A. Liston
,
K. Kramp
2016
Corpus ID: 51767720
The Pristiphora ruficornis group, defined here based on the structure of the penis valve and the genetic data, includes…
Expand
2015
2015
Experience Report: Developing the Servo Web Browser Engine using Rust
B. Anderson
,
Lars Bergstrom
,
+5 authors
S. Sapin
arXiv.org
2015
Corpus ID: 17244790
All modern web browsers - Internet Explorer, Firefox, Chrome, Opera, and Safari - have a core rendering engine written in C…
Expand
2009
2009
Characterization of Sahiwal Cattle for Linear Type Traits
Khan Abbas
2009
Corpus ID: 87472702
2007
2007
Microminiature Linear Split Stirling Cryogenic Cooler for Portable Infrared Applications
A. Veprik
,
H. Vilenchik
,
S. Riabzev
,
N. Pundak
2007
Corpus ID: 54797314
Novel tactics, employed in carrying out military and antiterrorist operations, call for the development of a new generation of…
Expand
2003
2003
The Optimization of Lamb and Rayleigh Wave Generation Using Wideband‐Low‐Frequency EMATs
S. Dixon
,
C. Edwards
,
S. Palmer
2003
Corpus ID: 26752962
This paper describes a non‐contact ElectroMagnetic Acoustic Transducer (EMAT) that can be used to generate both Lamb and Rayleigh…
Expand
2002
2002
Contribution to the Relationship Between Solar Radiation and Sunshine Duration in the Tropics : A Case Study of Experimental Data at Ilorin , Nigeria
S. Udo
2002
Corpus ID: 59356165
From monthly average daily values of clearness index and relative sunshine spanning a period of two years, two equations (linear…
Expand
1993
1993
Intersection theory of linear embeddings
S. Keel
1993
Corpus ID: 54173475
We study intersection theoretic properties of subschemes defined by ideal sheaves of linear type in particular their behavior…
Expand
1977
1977
Tree Realizations of Iterative Circuits
S. Unger
IEEE transactions on computers
1977
Corpus ID: 17106344
It is shown how any combinational function that can be described by a flow table—or equivalently—is realizable in iterative form…
Expand