Polymorphic names and iterations

We study an extension of gradual typing—a method to integrate dynamic typing and static typing smoothly in a single language—to parametric polymorphism and its theoretical properties, including conservativity of typing and semantics over both statically ...

The purpose of this paper is to analyze the modified three-step iterative scheme for solving nonlinear operator equations in real Banach spaces. Our results can be viewed as an extension of three-step and two-step iterative schemes of Glowinski and Le ...

In this paper, three iterations are designed to approach zeros of set-valued accretive operators in Banach spaces. The first one is the continuous Picard type iteration involving the resolvent, the second one is the approximate Picard type iteration ...