Multi-Stage Programming with Explicit Annotations

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 12, 1997, Pages 203-214

  Taha, Walid ^a   Sheard, Tim ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347306282     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/258994.259019     Document Type: Article

References (32)

1. C. Consel and O. Danvy. For a better support of static data flow. In J. Hughes, editor, Functional Programming Languages and Computer Architecture, Cambridge, Massachusetts, August 1991 (Lecture Notes in Computer Science, vol. 523), pages 496-519. New York: ACM, Berlin: Springer-Verlag, 1991.
2. Charles Consel and Olivier Danvy. Tutorial notes on partial evaluation. In ACM Symposium on Principles of Programming Languages, pages 493-501, January 1993.
3. Roberto Di Cosmo. Isomorphisms of Types: from λ-calculus to information retrieval and language design. Progress in Theoretical Computer Science. Birkhäuser, 1995.
4. Olivier Danvy. Type-directed partial evaluation. In ACM Symposium on Principles of Programming Languages, pages 242-257, Florida, January 1996. New York: ACM.
5. Olivier Danvy, Karoline Malmkjaer, and Jens Palsberg. The essence of eta-expansion in partial evaluation. LISP and Symbolic Computation, 1(19), 1995.
6. th Annual IEEE Symposium on Logic in Computer Science, pages 184-195, New Brunswick, New Jersey, 27-30 July 1996. IEEE Computer Society Press.
7. Rowan Davies and Frank Pfenning. A modal analysis of staged computation. In 23rd Annual ACM Symposium on Principles of Programming Languages (POPL '96), St.Petersburg Beach, Florida, January 1996.
8. Nachum Dershowitz. Computing with rewrite systems. Information and Control, 65:122-157, 1985.
9. Robert Glück and Jesper Jørgensen. Efficient multi-level generating extensions for program specialization. In Programming Languages, Implementations, Logics and Programs (PLILP'95), volume 982 of Lecture Notes in Computer Science. Springer-Verlag, 1995.
10. Robert Glück and Jesper Jørgensen. Fasting binding-time analysis for multi-level specialization. In PSI-96: Andrei Ershov Second International Memorial Conference, Perspectives of System Informatics, volume 1181 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
11. Carsten K. Gomard and Neil D. Jones. A partial evaluator for untyped lambda calculus. Journal of Functional Programming, 1(1):21-69, 1991.
12. John Hatcliff and Robert Glück. Reasoning about hierarchies of online specialization systems. In Olivier Danvy, Robert Glück, and Peter Thiemann, editors, Partial Evaluation, volume 1110 of Lecture Notes in Computer Science, pages 161-182. Springer-Verlag, 1996.
13. J. Roger Hindley and Jonathan P. Seldin. Introduction to Cobminators and λ-Calculus. Number I in London Mathematical Society Student Texts. Cambridge University Press, 1986.
14. Neil D. Jones. Mix ten years later. In Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Connecticut (Sigplan Notices, vol. 26, no. 9, September 1991), pages 24-38. New York: ACM, New York: ACM, June 1995.
15. Neil D. Jones, Carsten K Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
16. Simon L. Peyton Jones and John Launchbury. Unboxed values as first class citizens in a non-strict functional language. In Functional Programming and Computer Architecture, September 91.
17. Richard B. Kieburtz, Francoise Bellegarde, Jef Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, and Tong Zhou. Calculating software generators from solution specifications. In TAPSOFT'95, volume 915 of LNCS, pages 546-560. Springer-Verlag, 1995.
18. Richard B. Kieburtz, Laura McKinney, Jeffrey Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, and Lisa Walton. A software engineering experiment in software component generation. In 18th International Conference in Software Engineering, March 1996.
19. John Launchbury and Amr Sabry. Monadic state: Axiomatization and type safety. In Proceedings of the International Conference on Functional Programming, Amsterdam, June 1997.
20. Mark Leone and Peter Lee. Deferred compilation: The automation of run-time code generation. Technical Report CMU-CS-93-225, Carnegie Mellon University, Dec. 1993.
21. Michael Lowry, Andrew Philpot, Thomas Pressburger, and Ian Underwood. Amphion: Automatic programming for scientific subroutine libraries. NASA Science Information Systems Newsletter, 31:22-25, 1994.
22. Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348-375, 1978.
23. Torben Æ. Mogensen. Efficient self-interpretation in lambda calculus. Functional Programming, 2(3):345-364, July 1992.
24. F. Nielson. Correctness of code generation from a two-level meta-language. In B. Robinet and R. Wilhelm, editors, Proceedings of the European Symposium on Programming (ESOP 86), volume 213 of LNCS, pages 30-40, Saarbrücken, FRG, March 1986. Springer.
25. F. Nielson and H. R. Nielson. Two-Level Functional Languages. Number 34 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.
26. G. D. Plotkin. Call-by-name, call-by-value- and the lambda-calculus. Theoretical Computer Science, 1:125-159, 1975.
27. Tim Sheard. A type-directed, on-line partial evaluator for a polymorphic language. In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, June 1997.
28. Tim Sheard and Neal Nelson. Type safe abstractions using program generators. Technical Report OGI-TR-95-013, Oregon Graduate Institute of Science and Technology, 1995.
29. Tim Sheard and Mark Shields. Dynamic typing through staged type inference. In Proceedings of the Second ACM International Conference on Functional Programming, jun 1997. (submitted).
30. Brian C. Smith. Reflection and Semantics in a Procedural Language. PhD thesis, Massachusetts Institute of Technology, January 1982.
31. Peter Thiemann. Towards partial evaluation of full Scheme. In Gregor Kiczales, editor, Reflection 96, pages 95-106, San Francisco, CA, USA, April 1996.
32. Wright and Felleisen. A syntactic approach to type soundness. Information and Computation (formerly Information and Control), 115, 1994.