Monads, indexes and transformations

  • Françoise Bellegarde
  • James Hook
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 668)


The specification and derivation of substitution for the de Bruijn representation of λ-terms is used to illustrate programming with a functionsequence monad. The resulting program is improved by interactive program transformation methods into an efficient implementation that uses primitive machine arithmetic. These transformations illustrate new techniques that assist the discovery of the arithmetic structure of the solution.




  1. 1.
    Françoise Bellegarde. Program transformation and rewriting. In Proceedings of the fourth conference on Rewriting Techniques and Applications, volume 488 of LNCS, pages 226–239, Berlin, 1991. Springer-Verlag.Google Scholar
  2. 2.
    N. G. de Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem. Indagaciones Mathematische, 34:381–392, 1972.Google Scholar
  3. 3.
    N. G. de Bruijn. Lambda calculus with namefrce formulas involving symbols that represent reference transforming mappings. In Proc. of the Koninklijke Nederlandse Akademie van Wetenschappcn, pages 348–356, Amsterdam, series A, volume 81(3), September 1978.Google Scholar
  4. 4.
    Charles Consel. The Schism Manual. Technical report, Oregon Grad. Inst., 1992.Google Scholar
  5. 5.
    James Hook, Richard Kieburlz, and Tim Sheard. Generating programs by reflection. Technical Report 92-015, Oregon Grad. Inst., July 1992.Google Scholar
  6. 6.
    Eugenio Moggi. Notions of computations and monads. Information and Compulation, 93(1):55–92, July 1991.CrossRefGoogle Scholar
  7. 7.
    John C. Reynolds. Definitional interpreters for higher-order programming languages. In ACM National Conference, pages 717–740. ACM, 1972.Google Scholar
  8. 8.
    Philip Wadler. The essence of functional programming. In POPL '92. ACM Press, January 1992.Google Scholar

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

  • Françoise Bellegarde
    • 1
  • James Hook
    • 1
  1. 1.Oregon Graduate Institute of Science & TechnologyPacific Software Research CenterBeaverton

Personalised recommendations