Environments, Continuation Semantics and Indexed Categories (1997)

Cached

Download Links

by John Power , Hayo Thielecke
Venue:Theoretical Aspects of Computer Software, number 1281 in Lect. Notes Comp. Sci
Citations:6 - 2 self

Documents Related by Co-Citation

99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
930 Categories for the Working Mathematician – S Mac Lane - 1971
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
48 A new notation for arrows – Ross Paterson - 2001
5 Signals and comonads – Tarmo Uustalu, Varmo Vene - 2005
8 There and back again: arrows for invertible programming – Artem Alimarine, Sjaak Smetsers, Arjen Weelden, Marko Eekelen, Rinus Plasmeijer - 2006
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
25 Polytypic Data Conversion Programs – Patrik Jansson, Johan Jeuring - 2001
17 Premonoidal categories as categories with algebraic structure – J Power
73 Two dimensional monad theory – H Blackwell, M Kelly, A J Power - 1989
58 Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of pure and applied algebra 89 – M Kelly, J Power - 1993
159 Generalising Monads to Arrows – John Hughes - 1998
126 The formal theory of monads – Ross Street - 1972
9 Modularity and Dyads – A J Power, E P Robinson - 1999
63 1964] Abelian Categories: An Introduction to the Theory of Functors. Harper – P Freyd
32 Generalising Monads to Arrows. Science of Computer Programming, 37:67–111, May 2000. R. van der Meyden. Finite State Implementations of Knowledge-Based Programs – J Hughes
112 Categorical Logic and Type Theory – B Jacobs - 1999
57 Deterministic, Error-Correcting Combinator Parsers – S. Doaitse Swierstra, Luc Duponcheel - 1996
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005