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.
Highly Cited
2017
Highly Cited
2017
Smoothing properties of bilinear operators and Leibniz-type rules in Lebesgue and mixed Lebesgue spaces
We prove that bilinear fractional integral operators and similar multipliers are smoothing in the sense that they improve the… 
2015
2015
Weak Dirichlet processes with jumps
2014
2014
Nowcasting and the Taylor Rule
Actual federal funds rates in the U.S. have, at times, deviated from the recommendations of a simple Taylor rule. This paper… 
Highly Cited
2013
Highly Cited
2013
Block Gauss and Anti-Gauss Quadrature with Application to Networks
Approximations of matrix-valued functions of the form $W^Tf(A)W$, where $A \in {\mathbb R}^{m\times m}$ is symmetric, $W\in… 
Highly Cited
2012
Highly Cited
2012
mbeddr: an extensible C-based programming language and IDE for embedded systems
While the C programming language provides good support for writing efficient, low-level code, it is not adequate for defining… 
Highly Cited
2012
Highly Cited
2012
Learning is Change in Knowledge: Knowledge-Based Security for Dynamic Policies
In systems that handle confidential information, the security policy to enforce on information frequently changes: new users join… 
Highly Cited
2011
Highly Cited
2011
Analysis of facility protection strategies against an uncertain number of attacks: The stochastic R-interdiction median problem with fortification
2008
2008
A parametric fuzzy logic approach to dynamic part routing under full routing flexibility
2006
2006
Did the Bundesbank Follow a Taylor Rule ? An Analysis Based on Real-Time Data *
T rules in different shapes and forms have become very popular in describing monetary policy strategies. Part of their… 
Review
2004
Review
2004
Ontology-based Evaluation of Organizational Memory
Organizational Memory (OM) is regarded as an imperative implementation for organizations striving for innovation and competitive… 
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)