-
1
-
-
84886772737
-
Monads and effects
-
Nick Benton, John Hughes, and Eugenio Moggi. Monads and effects. In APPSEM 2000, volume 2395 of Lecture Notes in Computer Science, pages 42-122, 2000.
-
(2000)
APPSEM 2000, Volume 2395 of Lecture Notes In Computer Science
, pp. 42-122
-
-
Benton, N.1
Hughes, J.2
Moggi, E.3
-
4
-
-
0027805209
-
The essence of compiling with continuations
-
Cormac Flanagan, Amr Sabry, Bruce F. Duba, and Matthias Felleisen. The essence of compiling with continuations. In Conference on Programming Language Design and Implementation, pages 237-247, 1993.
-
(1993)
Conference On Programming Language Design and Implementation
, pp. 237-247
-
-
Flanagan, C.1
Sabry, A.2
Duba, B.F.3
Felleisen, M.4
-
6
-
-
34047190421
-
Combining algebraic effects with continuations
-
Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, and John Power. Combining algebraic effects with continuations. Theoretical Computer Science, 375(1-3):20-40, 2007.
-
(2007)
Theoretical Computer Science
, vol.375
, Issue.1-3
, pp. 20-40
-
-
Hyland, M.1
Paul Levy, B.2
Plotkin, G.D.3
Power, J.4
-
7
-
-
33745348813
-
Combining effects: Sum and tensor
-
Martin Hyland, Gordon D. Plotkin, and John Power. Combining effects: Sum and tensor. Theoretical Computer Science, 357(1-3):70-99, 2006.
-
(2006)
Theoretical Computer Science
, vol.357
, Issue.1-3
, pp. 70-99
-
-
Hyland, M.1
Plotkin, G.D.2
Power, J.3
-
8
-
-
33750367527
-
Discrete Lawvere theories and computational effects
-
Martin Hyland and John Power. Discrete Lawvere theories and computational effects. Theor. Comput. Sci., 366(1-2):144-162, 2006.
-
(2006)
Theor. Comput. Sci
, vol.366
, Issue.1-2
, pp. 144-162
-
-
Hyland, M.1
Power, J.2
-
9
-
-
33751524153
-
Call-by-push-value: Decomposing call-by-value and call-by-name
-
Paul Blain Levy. Call-by-push-value: Decomposing call-by-value and call-by-name. Higher-Order and Symbolic Computation, 19(4):377-414, 2006.
-
(2006)
Higher-Order and Symbolic Computation
, vol.19
, Issue.4
, pp. 377-414
-
-
Paul Blain, L.1
-
11
-
-
78449312372
-
Segal condition meets computational effects
-
IEEE Computer Society
-
Paul-André Melliés. Segal condition meets computational effects. In LICS, pages 150-159. IEEE Computer Society, 2010.
-
(2010)
LICS
, pp. 150-159
-
-
Melliés, P.-A.1
-
13
-
-
0026188821
-
Notions of computation and monads
-
Eugenio Moggi. Notions of computation and monads. Information And Computation, 93(1):55-92, 1991.
-
(1991)
Information and Computation
, vol.93
, Issue.1
, pp. 55-92
-
-
Moggi, E.1
-
18
-
-
0038300359
-
Plotkin and John Power. Algebraic operations and generic effects
-
Gordon D. Plotkin and John Power. Algebraic operations and generic effects. Applied Categorical Structures, 11(1):69-94, 2003.
-
(2003)
Applied Categorical Structures
, vol.11
, Issue.1
, pp. 69-94
-
-
Gordon, D.1
-
19
-
-
18944361993
-
Plotkin and John Power. Computational effects and operations: An overview
-
Gordon D. Plotkin and John Power. Computational effects and operations: An overview. Electronic Notes in Theoretical Computer Science, 73:149-163, 2004.
-
(2004)
Electronic Notes In Theoretical Computer Science
, vol.73
, pp. 149-163
-
-
Gordon, D.1
-
23
-
-
1242286270
-
-
Terese, Cambridge University Press
-
Terese. Term Rewriting systems. Cambridge University Press, 2003.
-
(2003)
Term Rewriting Systems
-
-
|