Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 222,812,161 papers from all fields of science
Search
Sign In
Create Free Account
Type rule
Known as:
Type rules
, Typing rule
In type theory, a type rule is an inference rule that describes how a type system assigns a type to a syntactic construction. These rules may be…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
Computer program
Curry–Howard correspondence
Expression (computer science)
Judgment (mathematical logic)
Expand
Broader (2)
Program analysis
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
mbeddr: an extensible C-based programming language and IDE for embedded systems
M. Völter
,
D. Ratiu
,
B. Schätz
,
Bernd Kolb
ACM SIGPLAN International Conference on Systems…
2012
Corpus ID: 12736898
While the C programming language provides good support for writing efficient, low-level code, it is not adequate for defining…
Expand
2007
2007
The numerical calculus of expectations of fuzzy random variables
Z. Gong
,
Ling Wang
Fuzzy Sets Syst.
2007
Corpus ID: 43634830
2006
2006
A fuzzy and neuro-fuzzy approach to modelling cattle grazing on pastures with low stocking rates in Central Europe
A. Salski
,
B. Holsten
Ecological Informatics
2006
Corpus ID: 39542410
2005
2005
A roadmap for the elicitation of business rules in information systems projects
P. Kardasis
,
P. Loucopoulos
Business Process Management Journal
2005
Corpus ID: 7269728
Purpose – In this paper we present a roadmap for the elicitation of business rules based on different stakeholders' perspectives…
Expand
2004
2004
A Systematic Translation of Guarded Recursive Data Typesto Existential Types
Martin Sulzmann
,
Meng Wang
2004
Corpus ID: 13488287
Guarded recursive data types (GRDTs) are a new language feature which allows to type check the different branches of case…
Expand
2002
2002
Optimal data-driven rule extraction using adaptive fuzzy-neural models
J. Zurada
,
A. Gaweda
2002
Corpus ID: 13439838
Neural network and fuzzy rule-based approaches to data-driven modeling have recently gained a lot of attention. The property of…
Expand
Review
2000
Review
2000
STRENGTHENING FINANCIAL INFRASTRUCTURE Deposit Insurance and Lending of Last Resort
R. Dale
,
F. Bruni
,
C. Boissieu
2000
Corpus ID: 154623896
1) Deposit Insurance in Theory and Practice by Richard Dale. 2) Lending of Last Resort and Systemic Stability in the Eurozone by…
Expand
Highly Cited
1999
Highly Cited
1999
Unifying Genericity - Combining the Benefits of Virtual Types and Parameterized Classes
Kresten Krab Thorup
,
Mads Torgersen
European Conference on Object-Oriented…
1999
Corpus ID: 15581320
Generic types in programming languages are most often supported with various forms of parametric polymorphism, i.e. functions on…
Expand
1997
1997
The Journal of Functional and Logic Programming
M. Debbabi
,
Zahia A doud
,
A. Faour
1997
Corpus ID: 12083647
use journal articles in a variety of ways, limited only as required to insure fair attribution to authors and the journal, and to…
Expand
1993
1993
Armijo-type condition for the determination of a generalized Cauchy point in trust region algorithms using exact or inexact projections on convex constraints
A. Sartenaer
1993
Corpus ID: 198442232
,
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