See this document in CiteSeerX!

Parametricity as a Notion of Uniformity in Reflexive Graphs (2002)  (Make Corrections)  
Brian Patrick Dunphy



  Home/Search   Context   Related

 
View or download:
cs.bham.ac.uk/~udr...Brianthesis.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.bham.ac.uk/~udr/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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