메뉴 건너뛰기




Volumn 34, Issue 1, 1999, Pages 251-260

Recycling continuations

Author keywords

[No Author keywords available]

Indexed keywords


EID: 17244362429     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/291251.289452     Document Type: Article
Times cited : (3)

References (18)
  • 2
    • 0342966834 scopus 로고
    • Technical Report TR-107, Bell Labs, Bell Labs Technical Memorandum TM-83-11271-1
    • Luca Cardelli. The functional abstract machine. Technical Report TR-107, Bell Labs, 1983. Bell Labs Technical Memorandum TM-83-11271-1.
    • (1983) The Functional Abstract Machine
    • Cardelli, L.1
  • 7
    • 0025507960 scopus 로고
    • Algebraic data types and program transformation
    • September
    • Grant Malcolm. Algebraic data types and program transformation. Science of Computer Programming, 14(2-3):255-280, September 1990.
    • (1990) Science of Computer Programming , vol.14 , Issue.2-3 , pp. 255-280
    • Malcolm, G.1
  • 8
    • 85014115727 scopus 로고
    • Functional programming with bananas, lenses, envelopes, and barbed wire
    • th International Conference on Functional Programming Languages and Computer Architecture, Springer-Verlag
    • th International Conference on Functional Programming Languages and Computer Architecture, number 523 in Lecture Notes in Computer Science. Springer-Verlag, 1991.
    • (1991) Lecture Notes in Computer Science , vol.523
    • Meijer, E.1    Fokkinga, M.2    Paterson, R.3
  • 11
    • 0026188821 scopus 로고
    • Notions of computation and monads
    • July
    • Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1):55-92, July 1991.
    • (1991) Information and Computation , vol.93 , Issue.1 , pp. 55-92
    • Moggi, E.1
  • 13
    • 85035001592 scopus 로고
    • Definitional interpreters for higher-order programming languages
    • ACM Press
    • John C. Reynolds. Definitional interpreters for higher-order programming languages. In Proceedings of the ACM National Conference, pages 717-740. ACM Press, 1972.
    • (1972) Proceedings of the ACM National Conference , pp. 717-740
    • Reynolds, J.C.1
  • 14
    • 0001361340 scopus 로고
    • An efficient machine-independent procedure for garbage collection in various list structures
    • August
    • H. Schorr and W. M. Waite. An efficient machine-independent procedure for garbage collection in various list structures. Communications of the ACM, 10(8):501-506, August 1967.
    • (1967) Communications of the ACM , vol.10 , Issue.8 , pp. 501-506
    • Schorr, H.1    Waite, W.M.2
  • 16
    • 0018924279 scopus 로고
    • Continuation-based program transformation strategies
    • January
    • Mitchell Wand. Continuation-based program transformation strategies. Journal of the Association for Computing Machinery, 27(1):164-180, January 1980.
    • (1980) Journal of the Association for Computing Machinery , vol.27 , Issue.1 , pp. 164-180
    • Wand, M.1
  • 17
    • 0015400861 scopus 로고
    • A space-efficient list structure tracing algorithm
    • Benjamin Wegbreit. A space-efficient list structure tracing algorithm. IEEE Transactions on Computers, C21:1009-1010, 1972.
    • (1972) IEEE Transactions on Computers , vol.C21 , pp. 1009-1010
    • Wegbreit, B.1
  • 18
    • 17144364108 scopus 로고
    • Recursive definition of syntax and semantics
    • North-Holland
    • A. Van Wijngaarden. Recursive definition of syntax and semantics. In Formal Language Description Languages, pages 13-24. North-Holland, 1964.
    • (1964) Formal Language Description Languages , pp. 13-24
    • Van Wijngaarden, A.1


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