References

H. Abelson and G.J. Sussman. Structure and Interpretation of Computer Programs. Second edition. MIT Press, Cambridge, Mass., 1996.

Adobe Systems Incorporated. PostScript Language Reference Manual. Second Edition. Addison-Wesley, Reading, Mass., 1990.

R. Bird and P. Wadler. Introduction to Functional Programming. Prentice Hall, New York, 1988.

N. Dershowitz and J.-P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. B: Formal Models and Semantics, pages 243-320. North-Holland, Amsterdam, 1990.

A. Gräf. Left-to-right tree pattern matching. In Proceedings Rewriting Techniques and Applications '91, LNCS 488, pages 323-334. Springer, Berlin, 1991.

M.C. Henson. Elements of Functional Languages. Blackwell Scientific Publications, Oxford, 1987.

R. Hubbard. "Q+Q": Q Rational Number Library. 2006. (Available in pdf format in the "Q+Q" package on http://q-lang.sourceforge.net.)

M.J. O'Donnell. Equational Logic as a Programming Language. MIT Press, Cambridge, Mass., 1985.

G.L. Steele, Jr. and G.J. Sussman. Scheme: An interpreter for the extended lambda calculus. Memo 349, MIT Artificial Intelligence Laboratory, 1975.

P. Wadler. Views: A way for pattern matching to cohabit with data abstraction. In Proc. Principles of Programming Languages, ACM, 1987.

This document was generated by Albert Gräf on February, 23 2008 using texi2html 1.76.