Parametricity as Isomorphism (1993)

Cached

Download Links

by Edmund Robinson , Edmund Robinson
Venue:Theoretical Computer Science
Citations:1 - 1 self

Documents Related by Co-Citation

6 Algebraic structure for bicategory enriched categories – R Gordon, A J Power - 1998
2 Structures de by limits in the enriched context, I. Cahiers de Topologie et Geometrie Dierentielle – G M Kelly - 1982
1 An algebraic formulation for data re – A J Power - 1989
2 Power and Makoto Takeyama. Sketches – Yoshiki Kinoshita, John - 1999
11 The marriage of eects and monads – P Wadler, P Thiemann
19 A presentation of topoi as algebraic relative to categories or graphs – E J Dubuc, G M Kelly - 1983
11 A.: Enrichment through variation – R Gordon, Power - 1997
9 Algèbres graphiques, Cahiers de Topologie Geométrie Di érentielle Catégoriques 22 (3 – A Burroni - 1981
13 Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads --- – Chih-ping Chen, Paul Hudak - 1997
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
17 Premonoidal categories as categories with algebraic structure – J Power
73 Two dimensional monad theory – H Blackwell, M Kelly, A J Power - 1989
21 Some aspects of equational categories – F J Linton - 1966
96 How to Declare an Imperative – Philip Wadler - 1995
11 Spaces, volume 3 of Cambridge studies in advanced mathematics – Stone - 1982
58 Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of pure and applied algebra 89 – M Kelly, J Power - 1993
105 Functional Programming and Input/Output – Andrew D Gordon - 1993
113 Metric spaces, generalized logic and closed categories. Rendiconti del Seminario Matematico e Fisico di – W Lawvere - 1973
68 Lokal Präsentierbare Kategorien – P Gabriel, F Ulmer - 1971