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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
We argue that the vast bulk of movements in aggregate real economic activity during the Great Recession were due to financial… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • figure 1
Is this relevant?
2010
2010
I develop a version of the standard New Keynesian model for which a concept of unemployment can be defined. The resulting… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
We assess the importance of nominal rigidities using a new weekly scanner data set. We …nd that nominal rigidities are important… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
A central assumption of open economy macro models with nominal rigidities relates to the currency in which goods are priced… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
IN THE EARLY 1980s, the Keynesian view of business cycles was in trouble. The problem was not new empirical evidence against… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • figure 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Static and dynamic type systems have well-known strengths and weaknesses, and each is better suited for different programming… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We develop a utility based model of ‡uctuations, with nominal rigidities, and unemployment. In doing so, we combine two strands… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We present a generalisation of first-order unification to the practically important case of equations between terms involving… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2001
Highly Cited
2001
We present a model embodying moderate amounts of nominal rigidities that accounts for the observed inertia in inflation and… (More)
  • figure 1
  • figure 1
  • table 1
  • table 2
  • figure 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper studies a quantitative dynamic-optimizing business cycle model of a small open economy with staggered price and wage… (More)
  • table 1
  • table 2
  • figure 1
Is this relevant?