Call-By-Push-Value: A Subsuming Paradigm (1999)

Cached

Download Links

by Paul Blain Levy
Venue:in Proc. TLCA ’99
Citations:15 - 0 self

Documents Related by Co-Citation

441 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
733 Notions of Computation and Monads – Eugenio Moggi - 1991
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
379 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
125 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
212 A powerdomain construction – G. D. Plotkin - 1976
136 Probabilistic Non-determinism – C Jones - 1990
165 An Abstract View of Programming Languages – E Moggi - 1989
15 A representable approach to finite nondeterminism – S O Anderson, A J Power - 1997
17 Enriched lawvere theories,” Theory and Applications of Categories – J Power - 1999
8 A Syntactic Approach to Modularity – P Cenciarelli, E Moggi - 1993
924 Categories for the Working Mathematician – Saunders Mac Lane - 1971
7 Semantics for Algebraic Operations (extended abstract – G D Plotkin, A J Power - 2001
15 Enriched Lawvere Theories – John Power
3 Towards a – D Turi, G D Plotkin - 1997
3 Algebra-Valued Functors in General and Tensor – P Freyd - 1966
3 Distributivity for Endofunctors – M Lenisa, A J Power, H Watanabe
5 Adjunctions whose counits are coequalisers, and presentations of finitary enriched monads – G M Kelly, A J Power - 1993
25 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001