Compiling pattern matching

  • Lennart Augustsson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 201)


Pattern Match Pattern Sequence Recursive Call Simple Pattern Expression Sequence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Augu84]
    L. Augustsson, "A Compiler for Lazy ML" in Proceedings of the 1984 LISP and Functional Programming Conference, Austin, Texas, (August 1984).Google Scholar
  2. [Burs80]
    R. M. Burstall, D. B. MacQueen, and D. T. Sanella, "Hope: An Experimental Applicative Language", pp. 136–143 in Proceedings of the 1980 LISP Conference, Stanford, California (August 1980).Google Scholar
  3. [Card84]
    L. Cardelli, "Compiling a Functional Language" in Proceedings of the 1984 LISP and Functional Programming Conference, Austin, Texas, (August 1984).Google Scholar
  4. [Frie76]
    D.P. Friedman and D.S. Wise, "Cons should not evaluate its arguments", pp. 257–284 in Automata, Languages and Programming, Edinburgh University Press, 1976Google Scholar
  5. [Hend76]
    P. Henderson and J.H. Morris, "A Lazy Evaluator", pp. 95–103 in Principles of Programming Languages, Atlanta, Georgia, (January 1976)Google Scholar
  6. [John83]
    T. Johnsson, "The G-machine: An abstract machine for graph reduction.", pp. 1–19 in Proceedings of the Declarative programming workshop, University College London, April 1983.Google Scholar
  7. [John84]
    T. Johnsson, "Efficient Compilation of Lazy Evaluation", in Proceedings of the 1984 Symposium on Compiler Construction, (Montreal 1984)Google Scholar
  8. [Miln78]
    R. Milner, "A theory of Type Polymorphism in Programming", Journal of Computer and System Sciences, Vol. 17 no. 3 pp. 348–375 (1978)Google Scholar
  9. [Miln84]
    R. Milner, "Standard ML Proposal", Polymorphism: The ML/LCF/Hope Newsletter, Vol. 1 no. 3 (January 1984).Google Scholar
  10. [Turn76]
    D. A. Turner, SASL language manual, (1976)Google Scholar
  11. [Turn82]
    D. A. Turner, "Recursion Equations as a Programming Language", pp 1–10 in Functional Programming and its applications, Cambridge Press 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Lennart Augustsson
    • 1
  1. 1.Programming Methodology Group Department of Computer ScienceChalmers University of TechnologyGöteborgSweden

Personalised recommendations