Brian Patrick Dunphy  Home/Search
Context
Related
| cs.bham.ac.uk/~udr...Brianthesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.bham.ac.uk/~udr/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: data types embody uniformity in the form of information hiding. Information hiding enforces the uniform treatment of those entities that di er only on hidden information. (Update)
Active bibliography (related documents): More All
1.3: Correctness of Data Representations involving Heap Data Structures - Reddy, Yang (2003) (Correct)
0.8: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.7: Objects and Classes in Algol-like Languages - Reddy (1998) (Correct)
Similar documents based on text: More All
0.2: Fluid Links for Informed and Incremental Link Transitions - Zellweger, Chang, Mackinlay (1998) (Correct)
0.2: When Parametricity implies Naturality (Notes) - Reddy (Correct)
0.1: Parametricity as Isomorphism - Robinson (1993) (Correct)
BibTeX entry: (Update)
@misc{ dunphy-parametricity,
author = "Brian Patrick Dunphy",
title = "Parametricity as a Notion of Uniformity in Reflexive Graphs",
url = "citeseer.ist.psu.edu/dunphy02parametricity.html" }
Citations (may not include all citations):419 A formulation of the simple theory of types (context) - Church - 1940
369 Information and Computation (context) - Moggi, computations - 1991
325 Towards a theory of type structure (context) - Reynolds - 1974
311 Abstract types have existential types (context) - Mitchell, Plotkin - 1988
268 Proofs and Types (context) - Girard, Lafont et al. - 1989
265 Proof of correctness of data representations (context) - Hoare - 1972
236 Categories for the Working Mathematician (context) - MacLane - 1971
211 Domain theory - Abramsky, Jung - 1994
185 De nition of Standard ML (context) - Milner, Tofte et al. - 1990
183 Report on the programming language Haskell: A non-strict pur.. (context) - Hudak, Jones et al. - 1992
147 abstraction and parametric polymorphism (context) - Reynolds - 1983
143 Theorems for free - Wadler - 1989
132 Interpretation Fonctionelle et Elimination des Coupures Dans.. (context) - Girard - 1972
131 The essence of Algol (context) - Reynolds - 1981
125 Outline of a mathematical theory of computation (context) - Scott - 1970
106 the observable properties of higher-order functions that dyn.. - Pitts, Stark - 1993
84 The next 700 programming languages (context) - Landin - 1966
77 Dual intuitionistic linear logic (context) - Barber, Plotkin - 1997
69 Relational properties of domains - Pitts - 1996
62 Theoretical Aspects of Object-Oriented Programming - Gunter, Mitchell - 1994
58 A logic for parametric polymorphism - Plotkin, Abadi - 1993
58 A mixed linear and non-linear logic: Proofs (context) - Benton - 1994
51 Using category theory to design implicit conversions and gen.. (context) - Reynolds - 1980
45 Algol-like Languages (context) - O'Hearn, Tennent - 1997
42 Categorical semantics for higher order polymorphic lambda ca.. (context) - Seely - 1987
39 Polymorphism is set-theoretic (context) - Pitts - 1987
37 Formal parametric polymorphism - Abadi, Cardelli et al. - 1993
32 A Category-Theoretic Approach to the Semantics of Programmin.. (context) - Oles - 1982
31 Lisp and Symbolic Computation (context) - Stark, for - 1996
28 Semantics of local variables - O'Hearn, Tennent - 1992
28 Notes on sconing and relators - Mitchell, Scedrov - 1993
25 An axiomatic approach to binary logical relations with appli.. - Kinoshita, O'Hearn et al. - 1997
25 A type theoretical alternative to CUCH (context) - Scott - 1969
25 A type theoretical alternative to CUCH (context) - Scott - 1993
24 Gedanken- a simple typeless language based on the principle .. (context) - Reynolds - 1970
21 Functorial polymorphism (context) - Bainbridge, Freyd et al. - 1990
20 On functors expressible in the polymorphic typed lambda calc.. (context) - Reynolds, Plotkin - 1993
18 Outline of a proof theory of parametricity - Mairson - 1991
17 Linear lambda calculus and categorical models revisited - Benton, Bierman et al. - 1993
17 Proof rules for the programming language Euclid (context) - London, Guttag et al. - 1975
16 ective topos (context) - Hyland - 1982
16 International Summer School in Computer Programming (context) - Strachey, in et al. - 1975
16 Early experience with mesa (context) - Geschke, Morris et al. - 1977
15 Objects and classes in Algol-like languages - Reddy - 1998
15 Algebraic types in per models (context) - Hyland, Robinson et al. - 1990
13 Report on the algorithmic language algol (context) - Naur, Backus et al. - 1960
12 Parametricity of extensionally collapsed term models of poly.. (context) - Hasegawa - 1991
10 From algol to polymorphic linear lambda-calculus (context) - Reynolds, O'Hearn - 2000
9 Theoretical Comput (context) - Girard - 1987
9 a and J. C. Reynolds. Types, abstraction, and parametric pol.. (context) - QingMing - 1992
8 An algebraic de nition of simulation between programs (context) - Milner - 1971
4 A new characterization of lambda de nability (context) - Jung, Tiuryn - 1993
4 Second order type theory and recursion (context) - Plotkin - 1993
4 Fully abstract translations and parametric polymorphism (context) - O'Hearn, Riecke - 1994
3 Extensional models for polymorphism (context) - Breazu-Tannen, Coquand - 1988
2 Logical Predicates and Indeterminantes (context) - Hermida - 1993
2 Re exive graphs and parametric polymorphism (context) - Robinson, Rosolini - 1994
2 A model for formal parametric polymorphism: A PER interpreta.. - Belucci, Abadi et al. - 1995
2 Constructive natural deduction and its 'omega-set' interpret.. - Longo, Moggi - 1991
2 When parametricity implies naturality (context) - Reddy - 1997
1 Reprinted as Chapter 16 of [OT (context) - O'Hearn, Tennent et al. - 1995
1 personal communication (context) - O'Hearn
1 A note on inconsistences caused by xpoints in a cartesian cl.. (context) - Huwig, Poigne - 1990
1 Preliminary ada reference manual and rationale for the desig.. (context) - Ichbiah, Heliard et al. - 1979
1 fteen years later (context) - Girard, variable - 1986
1 Algebraic Theory of Automata (context) - Ginzberg - 1968
1 by private communication (context) - Jung
1 ukhomegdppublication as Pisa Note (context) - Domains, Available et al. - 1983
1 Alternatives to Zermelo's Assumption (context) - Church - 1927
1 Queen Mary and West eld College (context) - Dawson, Taylor et al.
Documents on the same site (http://www.cs.bham.ac.uk/~udr/):
Objects and Classes in Algol-like Languages - Reddy (1998) (Correct)
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