메뉴 건너뛰기




Volumn 9, Issue 4, 2013, Pages

Handling algebraic effects

Author keywords

Algebraic effects; Exception handlers; Generalised handlers

Indexed keywords

ALGEBRAIC EFFECTS; ALGEBRAIC TREATMENT; COMPUTATIONAL EFFECTS; EXCEPTION HANDLERS; EXCEPTION HANDLING; GENERALISED HANDLERS; THEORY AND PRACTICE; UNIVERSAL PROPERTIES;

EID: 84890466362     PISSN: None     EISSN: 18605974     Source Type: Journal    
DOI: 10.2168/LMCS-9(4:23)2013     Document Type: Article
Times cited : (160)

References (24)
  • 8
    • 33750367527 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • Terese, Cambridge University Press
    • Terese. Term Rewriting systems. Cambridge University Press, 2003.
    • (2003) Term Rewriting Systems


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.