Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
Computer programCurry–Howard correspondenceExpression (computer science)Judgment (mathematical logic)

Broader (2)

Program analysisType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Real-World Types and Their Application
Software systems sense and affect real world objects and processes in order to realize important real-world systems. For these… 
2007
2007
ANALYTICAL FEATURES FOR THE CLASSIFICATION OF PERCUSSIVE SOUNDS : THE CASE OF THE PANDEIRO
There is an increasing need for automatically class ifying sounds for MIR and interactive music applications. In the c ontext of… 
2007
2007
Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars
2007
2007
The numerical calculus of expectations of fuzzy random variables
2005
2005
A roadmap for the elicitation of business rules in information systems projects
Purpose – In this paper we present a roadmap for the elicitation of business rules based on different stakeholders' perspectives… 
2004
2004
A Systematic Translation of Guarded Recursive Data Typesto Existential Types
Guarded recursive data types (GRDTs) are a new language feature which allows to type check the different branches of case… 
2002
2002
Optimal data-driven rule extraction using adaptive fuzzy-neural models
Neural network and fuzzy rule-based approaches to data-driven modeling have recently gained a lot of attention. The property of… 
Review
2000
Review
2000
STRENGTHENING FINANCIAL INFRASTRUCTURE Deposit Insurance and Lending of Last Resort
1) Deposit Insurance in Theory and Practice by Richard Dale. 2) Lending of Last Resort and Systemic Stability in the Eurozone by… 
1996
1996
Relational partitioning of fuzzy rules
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
, 
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)