SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Lisp and Symbolic Computation

Volumn 8, Issue 3, 1995, Pages 209-227

The essence of eta-expansion in partial evaluation

(3) Danvy, Olivier a Malmkjær, Karoline a Palsberg, Jens a

a AARHUS UNIVERSITY (Denmark)

Author keywords

binding time analysis; coercions; Two level calculus

Indexed keywords

EID: 0347106535 PISSN: 08924635 EISSN: 15730557 Source Type: Journal
DOI: 10.1007/BF01019004 Document Type: Article

Times cited : (30)

References (28)

1
- 84931434039
- Henk Barendregt. The Lambda Calculus — Its Syntax and Semantics. North-Holland, 1984.

2
- 0026386060
- Automatic autoprojection of higher-order recursive equations
- (1991) Science of Computer Programming , vol.17 , Issue.1-3 , pp. 3-34
- Bondorf¹

3
- 84931295753
- Anders Bondorf. Improving binding times without explicit CPS-conversion. In William Clinger, editor, Proceedings of the 1992 ACM Conference on Lisp and Functional Programming, San Francisco, California, June 1992, LISP Pointers V(1):1–10. ACM Press.

4
- 0026218814
- Automatic autoprojection of recursive equations with global variables and abstract data types
- (1991) Science of Computer Programming , vol.16 , pp. 151-195
- Bondorf¹ Danvy²

5
- 84931429209
- Anders Bondorf and Dirk Dussart. Improving CPS-based partial evaluation: Writing cogen by hand. In Peter Sestoft and Harald Søndergaard, editors, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Orlando, Florida, June 1994, Technical Report 94/9, University of Melbourne, Australia, pages 1–10.

6
- 84931398800
- Anders Bondorf and Jens Palsberg. Compiling actions by partial evaluation. In Arvind, editor, Proceedings of the Sixth ACM Conference on Functional Programming and Computer Architecture, Copenhagen, Denmark, June 1993, pages 308–317. ACM Press.

7
- 84931462443
- Charles Consel. Polyvariant binding-time analysis for applicative languages. In Schmidt [25], pages 66–77.

8
- 84931397120
- Charles Consel. A tour of Schism: A partial evaluation system for higher-order applicative languages. In Schmidt [25], pages 145–154.

9
- 84931357625
- Charles Consel and Olivier Danvy. For a better support of static data flow. In Hughes [13], pages 496–519.

10
- 84931349248
- Charles Consel and Olivier Danvy. Tutorial notes on partial evaluation. In Proceedings of the Twentieth Annual ACM Symposium on Principles of Programming Languages, Charleston, South Carolina, January 1993, pages 493–501. ACM Press.

11
- 84972048107
- Representing control, a study of the CPS transformation
- (1992) Mathematical Structures in Computer Science , vol.2 , Issue.4 , pp. 361-391
- Danvy¹ Filinski²

12
- 84931413163
- Carsten K. Gomard. Program Analysis Matters. PhD thesis, DIKU, Computer Science Department, University of Copenhagen, Copenhagen, Denmark, November 1990, DIKU Report 91-17.

13
- 84931464338
- John Hughes, editor. Proceedings of the Fifth ACM Conference on Functional Programming and Computer Architecture, Cambridge, Massachusetts, August 1991, LNCS 523. Springer-Verlag, 1991.

14
- 84931361468
- Neil D. Jones. Automatic program specialization: A re-examination from basic principles. In Dines Bjørner, Andrei P. Ershov, and Neil D. Jones, editors, Partial Evaluation and Mixed Computation, pages 225–282. North-Holland, 1988.

15
- 84931358191
- Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International, 1993.

16
- 84931381363
- Computer Science Department, Indiana University, Bloomington, Indian, USA
- (1994) Continuation Introduction and Elimination in Higher-Order Programming Languages
- Lawall¹

17
- 0028468159
- Continuation-based partial evaluation
- (1994) Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, Orlando, Florida , vol.7 , Issue.3 , pp. 227-238
- Lawall¹ Danvy²

18
- 0038559031
- DIKU, Computer Science Department, University of Copenhagen, Copenhagen, Denmark
- (1989) Binding Time Aspects of Partial Evaluation
- Mogensen¹

19
- 84931368355
- Torben Æ. Mogensen. Constructor specialization. In Schmidt [25], pages 22–32.

20
- 84931449334
- Christian Mossin. Partial evaluation of general parsers. In Schmidt [25], pages 13–21.

21
- 84931340754
- Flemming Nielson and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.

22
- 84972017777
- Correctness of binding-time analysis
- (1993) Journal of Functional Programming , vol.3 , Issue.3 , pp. 347-363
- Palsberg¹

23
- 18944377121
- Call-by-name, call-by-value and the λ-calculus
- (1975) Theoretical Computer Science , vol.1 , pp. 125-159
- Plotkin¹

24
- 84931327386
- Erik Ruf. Topics in Online Partial Evaluation. PhD thesis, Stanford University, Stanford, California, February 1993. Technical report CSL-TR-93-563.

25
- 84931392284
- David A., Schmidt, ACM Press, Copenhagen, Denmark
- (1993) Proceedings of the Second ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

26
- 84931351744
- Technical Report, AI-TR-474, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts
- (1978) A Compiler for Scheme
- Rabbit¹

27
- 84931459136
- Mitchell Wand. Correctness of procedure representations in higher-order assembly language. In Stephen Brookes et al., editors, Mathematical Foundations of Programming Semantics, Pittsburgh, Pennsylvania, March 1991, LNCS 598, pages 294–311. Springer-Verlag, 1991.

28
- 84931343732
- Daniel Weise, Roland Conybeare, Erik Ruf, and Scott Seligman. Automatic online partial evaluation. In Hughes [13], pages 165–191.

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