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

364 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
364 Towards a theory of type structure – J C Reynolds - 1974
124 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
160 The essence of Algol – J Reynolds - 1981
238 Interprétation fonctionnelle et elimination des coupures de l’arithmétique d’ordre supérieur. Thèse d’état, Université de Paris 7 – J-Y Girard - 1972
733 Notions of Computation and Monads – Eugenio Moggi - 1991
7 Parametric limits – B Dunphy, U S Redddy - 2004
43 Type algebras, functor categories, and block structure – F J Oles - 1985
22 Correctness of Data Representations involving Heap Data Structures – Uday S. Reddy, Hongseok Yang - 2003
116 A fully abstract game semantics for general references – S Abramsky, K Honda, G McCusker - 1998
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 - 1985
5 Monad Translating Inductive and Coinductive Types – Tarmo Uustalu - 2003
9 Duality between Call-by-Name Recursion and Call-by-Value Iteration – Yoshihiko Kakutani, Ii Yoshihiko Kakutani - 2001