Author:
Watson Richard,Salzman Eric
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Z. Ariola, M. Felleisen, J. Mariast, M. Odersky, and P. Wadler. A call-by-need lambda calculus. In Proceedings of the 22nd ACM Symposium on Principles of Programming Languages, pages 233–246, 1995.
2. M. Augustson and J. Reinfelds. A visual Miranda machine. In Proceedings, Software Education Conference SRIG-ET'94, Ed. M. Purvis, IEEE Computer Society Press, Los Alamitos California, pages 198–203, 1995.
3. R. Bird and P. Wadler. Introduction to Functional Programming. Prentice Hall, 1988.
4. J. Gibbons and K. Wansbrough. Tracing lazy functional languages. In Proceedings of Computing: The Australasian Theory Symposium”, 1996.
5. D. Goldson. A symbolic calculator for non-strict functional languages. The Computer Journal, 37(3):177–187, 1994.