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… 
2008
2008
A System for Supporting Development of Large Scaled Rich Internet Applications
Rich Internet Application (RIA) has been proposed in order to solve the problems of current web applications. The user experience… 
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
Verifying Security Properties of Cryptoprotocols: A Novel Approach
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols… 
2007
2007
Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars
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… 
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… 
1995
1995
Learning as knowledge integration
  • K. Murray
  • UTCS publications
  • 1995
  • Corpus ID: 30683448
A fundamental challenge for Artificial Intelligence is developing methods to build and maintain knowledge-based systems… 
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)