John C. Reynolds. Types, abstraction, and parametric polymorphism. In R. E. A. Mason, editor, Information Processing '83, pages 513--523. Elsevier Science Publishers B. V., 1983. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Value Recursion in Monadic Computations - Erkok (2002) (2 citations) (Correct)
.... [76, 83] Except for Chapter 6, we will be mainly interested in the functional programming view of monads [4, 91] rather than the categorical one [2, 55] Finally, we will have occasion to use the parametricity principle, allowing us to derive theorems from the types of polymorphic functions [50, 75, 88]. Naturally, the theory of value recursion is independent of any particular programming language. However, our work is closely tied to Haskell, and we will be careful in pointing out the cases when the domain theoretic semantics and the semantics of Haskell do not quite match up. The main ....
....operator on domains satisfies the following uniformity law [60, 82] #, and s : # #, where s is strict. Then, s =# s (fix f ) fix g (2. 16) This extremely useful law is exactly the free theorem for the type (# #, and hence granted by virtue of parametricity in our setting [75]. For mfix, parametricity gives us the following theorem for free: Theorem 2.6.10 Let f : # m #, s : # map s s =# map s (mfix f ) mfix g (2.17) provided s is strict. Remark 2.6.11 It is worth emphasizing that we use Theorem 2.6.10 freely in our treatment of value recursion. ....
Reynolds, J. C. Types, abstraction, and parametric polymorphism. In Information Processing'83, R. Mason, Ed. North-Holland, Amsterdam, 1983, pp. 513--523. (10, 20)
A Static Analysis for Instance-based Confinement in Java - Banerjee, Naumann (1 citation) (Correct)
....says behavior of a client is independent of the internal representation of an object of class A, provided that the representation objects are con ned. The theorem formalizes representation independence in terms of simulation relations which are widely used for reasoning about data abstraction [Rey84,LV95,dRE98], secure information ow [MS92,ABHR99] program analysis [NNH99] and program transformation [HHS93] The present paper makes three contributions. First, we give a static analysis of instance based con nement. That is, we de ne con nement as a property of program syntax. The de nition is ....
J. C. Reynolds. Types, abstraction, and parametric polymorphism. In R.E.A. Mason, editor, Information Processing '83, pages 513-523. NorthHolland, 1984.
Ownership Transfer and Abstraction - Banerjee, Naumann (2003) Self-citation (Abstraction) (Correct)
No context found.
John C. Reynolds. Types, abstraction, and parametric polymorphism. In R.E.A. Mason, editor, Information Processing '83, pages 513--523. North-Holland, 1984.
Structure-Preserving Binary Relations for Program Abstraction - Schmidt (2002) (1 citation) Self-citation (Abstraction) (Correct)
....and higher order types require Galois connections that operate on powerdomains of overwhelming complexity. Mycroft and Jones suggest that an alternative framework, based on binary relations, can be used to avoid much of this complexity. Then, reasoning techniques based on logical relations [24, 27, 28, 31, 32] apply to the compound and higher typed values. The intuition behind Mycroft and Jones s proposal is simple: Given the set of source program states, C, and the set of abstract program states, A, de ne a binary relation, R C A, based on the intuition that c R a if a is an acceptable modelling ....
J. Reynolds. Types, abstraction, and parametric polymorphism. In R.E.A. Mason, editor, Information Processing `83, pages 513-523. North-Holland, Amsterdam, 1983.
Compiling Polymorphism Using Intensional Type - Analysis Robert Harper (Correct)
No context found.
John C. Reynolds. Types, abstraction, and parametric polymorphism. In R. E. A. Mason, editor, Information Processing '83, pages 513--523. Elsevier Science Publishers B. V., 1983.
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (9 citations) (Correct)
No context found.
J. C. Reynolds. Types, Abstraction, and Parametric Polymorphism. In Information Processing, 1983.
Open Modules: - Reconciling Extensibility And (Correct)
No context found.
J. C. Reynolds. Types, Abstraction, and Parametric Polymorphism. In Information Processing, 1983.
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (9 citations) (Correct)
No context found.
J. C. Reynolds. Types, Abstraction, and Parametric Polymorphism. In Information Processing, 1983.
GDP Festschrift ENTCS, to appear Syntactic Logical.. - Robert Harper Computer (Correct)
No context found.
Reynolds, J. C., Types, abstraction, and parametric polymorphism, in: R. E. A. Mason, editor, Information Processing '83 (1983), pp. 513--523.
Polymorphic Regular Tree Types and Patterns - Vouillon (2006) (Correct)
No context found.
J. C. Reynolds. Types, abstraction, and parametric polymorphism. In R. E. A. Mason, editor, Information Processing 83, pages 513--523, Amsterdam, 1983. Elsevier Science Publishers B. V. (North-Holland).
A Fresh Look at Parametric Polymorphism: Covariant Types - Barry Jay School (1996) (Correct)
No context found.
J. Reynolds. Types, abstraction, and parametric polymorphism. In R.E.A. Mason (editor), Information Processing '83. North Holland, 1985.
Covariant Types - Barry Jay School (1997) (Correct)
No context found.
J. Reynolds. Types, abstraction, and parametric polymorphism. In R.E.A. Mason, editor, Information Processing '83. North Holland, 1985. 19
Distinguishing Data Structures and Functions: the Constructor.. - Jay (2001) (6 citations) (Correct)
No context found.
J. Reynolds. Types, abstraction, and parametric polymorphism. In R.E.A. Mason, editor, Information Processing '83. North Holland, 1985.
pure: Useful Abstractions in Specifications - Mike Barnett David (2004) (3 citations) (Correct)
No context found.
John C. Reynolds. Types, abstraction, and parametric polymorphism. In R.E.A. Mason, editor, Information Processing '83, pages 513--523. North-Holland, 1984.
Open Modules: Reconciling Extensibility and Information Hiding - Aldrich (2004) (6 citations) (Correct)
No context found.
J. C. Reynolds. Types, Abstraction, and Parametric Polymorphism. In Information Processing, 1983.
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (9 citations) (Correct)
No context found.
J. C. Reynolds. Types, Abstraction, and Parametric Polymorphism. In Information Processing, 1983.
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (9 citations) (Correct)
No context found.
J. C. Reynolds. Types, Abstraction, and Parametric Polymorphism. In Information Processing, 1983.
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (9 citations) (Correct)
No context found.
J. C. Reynolds. Types, Abstraction, and Parametric Polymorphism. In Information Processing, 1983.
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (9 citations) (Correct)
No context found.
J. C. Reynolds. Types, Abstraction, and Parametric Polymorphism. In Information Processing, 1983.
Open Modules: Reconciling Extensibility and Information Hiding - Aldrich (2004) (6 citations) (Correct)
No context found.
J. C. Reynolds. Types, Abstraction, and Parametric Polymorphism. In Information Processing, 1983.
Translating Dependency into Parametricity - Stephen Tse Steve (Correct)
No context found.
J. C. Reynolds. Types, abstraction, and parametric polymorphism. In Information Processing. Elsevier Science Publishers B.V., 1983.
Formal Parametric Polymorphism - Martn Abadi Luca (1993) (35 citations) (Correct)
No context found.
J.C. Reynolds, Types, abstraction, and parametric polymorphism . In Information Processing, R.E.A. Mason, ed. North Holland. 513-523.
Explicit Polymorphism and CPS Conversion - Robert Harper Mark (1992) (41 citations) (Correct)
No context found.
John C. Reynolds. Types, abstraction, and parametric polymorphism. In R. E. A. Mason, editor, Information Processing '83, pages 513--523. Elsevier Science Publishers B. V., 1983.
Open Modules: Modular Reasoning in Aspect-Oriented Programming - Aldrich (Correct)
No context found.
J. C. Reynolds. Types, Abstraction, and Parametric Polymorphism. In Information Processing, 1983.
Distinguishing Data Structures and Functions: the Constructor.. - Jay (2001) (6 citations) (Correct)
No context found.
J. Reynolds. Types, abstraction, and parametric polymorphism. In R.E.A. Mason, editor, Information Processing '83. North Holland, 1985.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC