Online type-directed partial evaluation for dynamically-typed languages

Computer Software

Volumn 17, Issue 3, 2000, Pages 38-62

  Sumii, Eijiro ^a   Kobayashi, Naoki ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001820433     PISSN: 02896540     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (20)

1. Asai, K., Masuhara, H. and Yonezawa, A. : Partial Evaluation of Call-by-Value λ-Calculus with Side-Effects, Proceedings of the 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1997, pp. 12-21.
2. Berger, U. and Schwichtenberg, H. : An Inverse of the Evaluation Functional for Typed Lambda-Calculus, Sixth Annual IEEE Symposium on Logic in Computer Science, 1991.
3. Danvy, O. : Pragmatic Aspects of Type-Directed Partial Evaluation, Technical Report RS-96-15, Basic Research in Computer Science, 1996. Available at http://www.brics.dk/RS/96/15/.
4. Appears in Danvy, Glück and Thiemann, editors, Partial Evaluation, PE '96 Proceedings, LNCS 1110, 1996, pp. 73-94.
5. Danvy, O. : Type-Directed Partial Evaluation, Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996, pp. 242-257.
6. Danvy, O. : Online Type-Directed Partial Evaluation, Technical Report RS-97-53, Basic Research in Computer Science, 1997. Available at http://www. brics.dk/RS/97/53/.
7. Extended version of an article that appeared in the Third Fuji International Symposium on Functional and Logic Programming, FLOPS '98 Proceedings (Kyoto, Japan, April 2-4, 1998).
8. Filinski, A. : Representing Monads, Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994, pp. 446-457.
9. Helsen, S. and Thiemann, P. : Two Flavors of Offline Partial Evaluation, Asian Computing Science Conference, Lecture Notes in Computer Science, Springer-Verlag, 1998.
10. 5 Report on the Algorithmic Language Scheme, ACM SIGPLAN Notices, Vol. 33, No. 9 (1998), pp. 26-76. With H. Abelson, N. I. Adams, IV, D. H. Bartley, G. Brooks, R. K. Dybvig, D. P. Friedman, R. Halstead, C. Hanson, C. T. Haynes, E. Kohlbecker, D. Oxley, K. M. Pitman, G. J. Rozas, G. L. Steele, Jr., G. J. Sussman, and M. Wand.
11. Lawall, J. and Thiemann, P. : Sound Specialization in the Presence of Computational Effects, Theoretical Aspects of Computer Software, Lecture Notes in Computer Science, Vol. 1281, Springer-Verlag, 1997.
12. Milner, R., Tofte, M., Harper, R. and MacQueen, D. : The Definition of Standard ML (Revised), MIT Press, 1997.
13. Mogensen, T. : Gödelisation in the Untyped λ-Calculus, Draft Proceedings of the 1999 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1999, pp. 19-24.
14. Pfenning, F. and Elliott, C. : Higher-order Abstract Syntax, Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, 1988, pp. 199-208.
15. Rhiger, M. : A Study in Higher-Order Programming Languages. Master's thesis, University of Aarhus, Department of Computer Science, 1997. Available at http://www.daimi.aau.dk/~mrhiger/.
16. Sheard, T. : A Type-Directed, On-line Partial Evaluator for a Polymorphic Language, Proceedings of the 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1997, pp. 22-35.
17. Takano, A. and Meijer, E. : Shortcut Deforestation in Calculational Form, Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture, 1995, pp. 306-313.
18. Thiemann, P. : Combinators for Program Generation, Journal of Functional Programming. To appear.
19. Thiemann, P. J. : Cogen in Six Lines, Proceedings of the First ACM SIGPLAN International Conference on Functional Programming, 1996, pp. 180-189.
20. Yang, Z. : Encoding types in ML-like languages, Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, 1998, pp. 289-300.