Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Type generalization

Known as: Generalize Type 
Type generalization is a technique commonly used in refactoring. The idea is to draw on the benefits of object-orientation and make more-generalized… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
We consider the Lagrangian of a vector field with derivative self-interactions with a priori arbitrary coefficients. Starting… Expand
Is this relevant?
2010
2010
In this paper, we consider a generalization of q-Baskakov operators. We obtain local approximation theorem on the interval [0… Expand
Is this relevant?
2009
2009
A generalization of the classical Leray-Schauder fixed point theorem, based on the in finite- dimensional Borsuk-Ulam type… Expand
Is this relevant?
2007
2007
By using a modified argument, we prove an improvement of our former Altman type generalization of the Brezis–Browder ordering… Expand
Is this relevant?
2007
2007
Let (X, d) be a metric space, k a positive integer and T a mapping of Xk into X. In this paper we proved that if T satisfies… Expand
Is this relevant?
1997
1997
Abstract A nonlinear generalization of the Dirac equation extending the standard paradigm of nonlinear Hamiltonians is discussed… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
The type and effect discipline, a framework for reconstructing the principal type and the minimal effect of expressions in… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We present a new static system which reconstructs the types, regions and effects of expressions in an implicitly typed functional… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We present a new approach to the polymorphic typing of data accepting in-place modiflcation in ML-like languages. This approach… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1978
1978
It is shown that the primal-dual algorithm for the ordinary assignment problem and for its Menger-type generalization can be… Expand
Is this relevant?