Parametricity as a Notion of Uniformity in Reflexive Graphs (2002)

Cached

Download Links

by Brian Patrick Dunphy
Citations:11 - 3 self

Documents Related by Co-Citation

365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
363 Towards a theory of type structure – J C Reynolds - 1974
122 Formal Parametric Polymorphism – Martin Abadi , Luca Cardelli, Pierre-Louis Curien - 1993
26 Categorical data types in parametric polymorphism – R Hasegawa - 1994
22 Objects and classes in Algol-like languages – Uday S. Reddy - 2002
55 From Algol to Polymorphic Linear Lambda-calculus – Peter W. O'Hearn, John C. Reynolds - 1997
102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
161 The essence of Algol – J C Reynolds - 1981
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
730 Notions of Computation and Monads – Eugenio Moggi - 1991
7 Parametric limits – B Dunphy, U S Redddy - 2004
23 Correctness of Data Representations involving Heap Data Structures – Uday S. Reddy, Hongseok Yang - 2003
118 A fully abstract game semantics for general references – S Abramsky, K Honda, G McCusker - 1998
43 Type algebras, functor categories, and block structure – F J Oles - 1985
24 Algol-like Languages (Two volumes – P W O’Hearn, R D Tennent - 1997
99 Toward fully abstract semantics for local variables – Albert R Meyer, Kurt Sieber - 1988
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
3 Parameterizations and Fixed-Point Operators on Control Categories – Yoshihiko Kakutani, Masahito Hasegawa - 2005
4 Some remarks on control categories – Peter Selinger - 2003