Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,057,262 papers from all fields of science
Search
Sign In
Create Free Account
Nominal type system
Known as:
Nominal typing
, Nominative type system
, Nominative typing
In computer science, a nominal or nominative type system (or name-based type system) is a major class of type system, in which compatibility and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Abstract type
C++
Computer science
Eiffel
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Optimal Gaits for Mechanical Rectifier Systems
Justin Blair
,
T. Iwasaki
IEEE Transactions on Automatic Control
2011
Corpus ID: 5992811
The essential mechanism underlying animal locomotion can be viewed as mechanical rectification that converts periodic body…
Expand
2010
2010
An Efficient Nominal Unification Algorithm
Jordi Levy
,
Mateu Villaret
International Conference on Rewriting Techniques…
2010
Corpus ID: 316481
Nominal Unification is an extension of first-order unification where terms can contain binders and unification is performed…
Expand
Highly Cited
2007
Highly Cited
2007
A Statistical Perspective on the ICH Q 2 A and Q 2 B Guidelines for Validation of Analytical Methods
S. Walfish
,
Biopharm International
2007
Corpus ID: 11115584
Vagueness in the ICH Q2A and Q2B guidelines necessitates effective protocol design and data analysis. For specificity (detection…
Expand
2006
2006
Central East Pacific Flight Routing
S. Grabbe
,
B. Sridhar
,
N. Cheng
2006
Corpus ID: 14195785
In this article the authors discuss possible advantages over user-preferred routing experienced by fixed Central East Pacific…
Expand
2005
2005
Model Predictive Control Employing Trajectory Sensitivities for Power Systems Applications
M. Zima
,
G. Andersson
Proceedings of the 44th IEEE Conference on…
2005
Corpus ID: 12082876
Model Predictive Control (MPC) is a widely used method in process industry for control of multi-input, multi-output systems. It…
Expand
2005
2005
An estimated open-economy model for the EURO area
M. Ratto
,
W. Roeger
2005
Corpus ID: 55908041
We estimate a small open economy DSGE model for the euro area. The household sector optimises an intertemporal utility function…
Expand
2003
2003
Testing the Calvo Model of Sticky Prices
M. Eichenbaum
,
Jonas D. M. Fisher
2003
Corpus ID: 7190546
This paper discusses the empirical performance of a widely used model of nominal rigidities: the Calvo model of sticky goods…
Expand
2001
2001
Borrow and Adjust: Fiscal Policy and Sectoral Adjustment in an Open Economy
Erling Steigum
,
O. Thogersen
Social Science Research Network
2001
Corpus ID: 904956
Should the government run fiscal deficits in response to an adverse external shock that warrants transfer of resources from…
Expand
Review
1999
Review
1999
Wage Rigidity: A Look Inside the Firm
B. Wilson
1999
Corpus ID: 16828622
This paper tests for nominal salary rigidity using panel data from two large service-sector firms. Distributions of the firms…
Expand
1997
1997
The Wage Curve and the Phillips Curve
John M. Roberts
1997
Corpus ID: 15022808
Blanchflower and Oswald (1994) have argued that, in regional data, the level of unemployment is related to the level of wages…
Expand
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