메뉴 건너뛰기
LISP and Symbolic Computation
Volumn 7, Issue 1, 1994, Pages 39-55
Monads and composable continuations
Author keywords

Continuation passing style; Continuations; Monads; Types
Indexed keywords

EID: 3643106978     PISSN: 08924635     EISSN: 15730557     Source Type: Journal    
DOI: 10.1007/BF01019944     Document Type: Article
Times cited : (41)
References (17)
  • 1
    • 84931380749 scopus 로고    scopus 로고
    • Damas, L. and Milner, R. Principal type-schemes for functional programs. In 9th Symposium on Principles of Programming Languages, Albuquerque, New Mexico, ACM (January 1982).
  • 2
    • 84931366402 scopus 로고    scopus 로고
    • Danvy, O. and Filinski, A. A functional abstraction of typed contexts. Technical Report, Copenhagen University (August 1989).
  • 3
    • 84931390430 scopus 로고    scopus 로고
    • Danvy, O. and Filinski, A. Abstracting control. In Conference on Lisp and Functional Programming, Nice, France, ACM (June 1990).
  • 4
    • 84931407706 scopus 로고    scopus 로고
    • Danvy, O. and Filinski, A. Representing control. Mathematical Structures in Computer Science, 2, 4 (December 1992).
  • 5
    • 84931303984 scopus 로고    scopus 로고
    • Duba, B., Harper, R., and MacQueen, D. Typing first-class continuations in ml. In 18'th Symposium on Principles of Programming Languages, Orlando, Florida, ACM (January 1991).
  • 6
    • 84931358679 scopus 로고    scopus 로고
    • Felleisen, M. The theory and practice of first-class prompts. In 15th Symposium on Principles of Programming Languages, San Diego, California, ACM (January 1988).
  • 8
    • 84931316917 scopus 로고    scopus 로고
    • Kieburtz, R., Agapiev, B., and Hook, J. Three monads for continuations. In ACM SIGPLAN Workshop on Continuations (June 1992). Stanford University Report STAN-CS-92-1426.
  • 9
    • 84931384622 scopus 로고    scopus 로고
    • Moggi, E. Computational lambda-calculus and monads. In Symposium on Logic in Computer Science, Asilomar, California, IEEE (June 1989). A longer version is available as a technical report from the University of Edinburgh.
  • 10
    • 84931368384 scopus 로고    scopus 로고
    • Murthy, C. Control operators, hierarchies, and pseudo-classical type systems. In Proceedings of the ACM SIGPLAN Workshop on Continuations (June 1992). Stanford University Report STAN-CS-92-1426.
  • 11
    • 84931388164 scopus 로고    scopus 로고
    • Peyton Jones, S. and Wadler, P. Imperative functional programming. In 20th Symposium on Principles of Programming Languages, Charleston, South Carolina, ACM (January 1993).
  • 14
    • 84931314162 scopus 로고    scopus 로고
    • Reynolds, J. C. Definitional interpreters for higher-order programming languages. In 25'th ACM National Conference (1972) 717–740.
  • 15
    • 84931376882 scopus 로고    scopus 로고
    • Reynolds, J. C. Three approaches to type structure. In Mathematical Foundations of Software Development, LNCS 185, Springer-Verlag (1985).
  • 16
    • 84931365174 scopus 로고    scopus 로고
    • Wadler, P. Comprehending monads. Mathematical Structures in Computer Science, 2, 4 (December 1992). An earlier version appears in Conference on Lisp and Functional Programming, Nice, France, ACM, June 1990.
  • 17
    • 84931376378 scopus 로고    scopus 로고
    • Wadler, P. The essence of functional programming. In 19th Symposium on Principles of Programming Languages, Albuquerque, New Mexico, ACM (January 1992).

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