메뉴 건너뛰기




Volumn 52, Issue 1-3, 2004, Pages 101-129

Monadification of functional programs

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE MAINTENANCE; SOFTWARE ENGINEERING;

EID: 3042735174     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2004.03.004     Document Type: Article
Times cited : (21)

References (20)
  • 3
    • 3042806127 scopus 로고    scopus 로고
    • Type-safe update programming
    • 12th European Symp. on Programming
    • Erwig M., Ren D. Type-safe update programming. 12th European Symp. on Programming. LNCS. vol. 2618:2003;269-283.
    • (2003) LNCS , vol.2618 , pp. 269-283
    • Erwig, M.1    Ren, D.2
  • 7
    • 84955566186 scopus 로고
    • The design of a pretty-printing library
    • Advanced Functional Programing
    • Hughes J. The design of a pretty-printing library. Advanced Functional Programing. LNCS. vol. 925:1995;53-96.
    • (1995) LNCS , vol.925 , pp. 53-96
    • Hughes, J.1
  • 8
    • 17744363035 scopus 로고    scopus 로고
    • Reuse by program transformation
    • G. Michaelson, & P. Trinder. Intellect
    • Lämmel R. Reuse by program transformation. Michaelson G., Trinder P. Functional Programming Trends 1999. Intellect: 2000.
    • (2000) Functional Programming Trends 1999
    • Lämmel, R.1
  • 9
    • 35248827617 scopus 로고    scopus 로고
    • A Strafunski application letter
    • 5th Symp. on Practical Aspects of Declarative Languages
    • Lämmel R., Visser J. A Strafunski application letter. 5th Symp. on Practical Aspects of Declarative Languages. LNCS. vol. 2562:2003;357-375.
    • (2003) LNCS , vol.2562 , pp. 357-375
    • Lämmel, R.1    Visser, J.2
  • 13
    • 0026188821 scopus 로고
    • Notions of computation and monads
    • Moggi E. Notions of computation and monads. Information and Computation. 93:(1):1991.
    • (1991) Information and Computation , vol.93 , Issue.1
    • Moggi, E.1
  • 14
    • 0002173184 scopus 로고    scopus 로고
    • Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
    • T. Hoare, M. Broy, & R. Steinbrüggen. IOS Press
    • Peyton Jones S. Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. Hoare T., Broy M., Steinbrüggen R. Engineering Theories of Software Construction. 2001;47-96 IOS Press.
    • (2001) Engineering Theories of Software Construction , pp. 47-96
    • Jones, S.P.1
  • 18
    • 84955607329 scopus 로고
    • Monads for functional programming
    • Advanced Functional Programing
    • Wadler P. Monads for functional programming. Advanced Functional Programing. LNCS. vol. 925:1995;24-52.
    • (1995) LNCS , vol.925 , pp. 24-52
    • Wadler, P.1
  • 19
    • 0031232913 scopus 로고    scopus 로고
    • How to declare an imperative
    • Wadler P. How to declare an imperative. ACM Computing Surveys. 29:(3):1997;240-263.
    • (1997) ACM Computing Surveys , vol.29 , Issue.3 , pp. 240-263
    • Wadler, P.1


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