Plugging a Space Leak with an Arrow

Electronic Notes in Theoretical Computer Science

Volumn 193, Issue , 2007, Pages 29-45

  Liu, Hai ^a   Hudak, Paul ^a  

^a Yale University   (United States)

Author keywords

arrows; functional programming; Haskell; programming languages

Indexed keywords

FUNCTIONAL PROGRAMMING; PROBLEM SOLVING; RECURSIVE FUNCTIONS; SIGNAL PROCESSING;

FUNCTIONAL REACTIVE PROGRAMMING (FRP); RECURSIVE SIGNALS; SPACE LEAKS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 35549011370     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.10.006     Document Type: Article

References (31)

1. Appel A.W. Compiling with Continuation (1992), Cambridge University Press, New York, NY, USA
2. Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, and Philip Wadler. The call-by-need lambda calculus. In POPL, pages 233-246, 1995
3. Asperti A., and Guerrini S. The optimal implementation of functional programming languages (1998), Cambridge University Press, New York, NY, USA
4. Adam Bakewell. An Operational Theory of Relative Space Efficiency. PhD thesis, University of York, December 2001
5. Adam Bakewell and Colin Runciman. A model for comparing the space usage of lazy evaluators. In Principles and Practice of Declarative Programming, pages 151-162, 2000
6. Clinger W.D. Proper tail recursion and space efficiency. PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation. New York, NY, USA (1998), ACM Press 174-185
7. Antony Courtney and Conal Elliott. Genuinely functional user interfaces. In Proc. of the 2001 Haskell Workshop, September 2001
8. Courtney A., Nilsson H., and Peterson J. The Yampa arcade. Proceedings of the 2003 ACM SIGPLAN Haskell Workshop. (Haskell'03), Uppsala, Sweden (August 2003), ACM Press 7-18
9. Elliott C. Functional implementations of continuous modeled animation. Proceedings of PLILP/ALP '98 (1998), Springer-Verlag
10. Conal Elliott and Paul Hudak. Functional reactive animation. In International Conference on Functional Programming, pages 263-273, June 1997
11. Jorgen Gustavsson and David Sands. Possibilities and limitations of call-by-need space improvement. In International Conference on Functional Programming, pages 265-276, 2001
12. Huang L., Hudak P., and Peterson J. Hporter: Using arrows to compose parallel processes. Proc. Practical Aspects of Declarative Languages. LNCS 4354 (January 2007), Springer Verlag 275-289
13. Liwen Huang and Paul Hudak. Dance: A declarative language for the control of humanoid robots. Technical Report YALEU/DCS/RR-1253, Yale University, August 2003
14. Hudak P. The Haskell school of expression: learning functional programming through multimedia (2000), Cambridge University Press, New York, NY, USA
15. Hudak P., Courtney A., Nilsson H., and Peterson J. Arrows, robots, and functional reactive programming. Summer School on Advanced Functional Programming 2002. Oxford University. Lecture Notes in Computer Science volume 2638 (2003), Springer-Verlag 159-187
16. Hughes J. Generalising monads to arrows. Science of Computer Programming 37 (May 2000) 67-111
17. Lamping J. An algorithm for optimal lambda calculus reduction. POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA (1990), ACM Press 16-30
18. John Launchbury. A natural semantics for lazy evaluation. In Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 144-154, Charleston, South Carolina, 1993
19. Jean-Jacques Lévy. Réductions correctes et optimales dans le lambda-calcul. PhD thesis, Université Paris VII, 1978
20. Maraist J., Odersky M., and Wadler P. The call-by-need lambda calculus. Journal of Functional Programming 8 3 (1998) 275-317
21. Simon Marlow. Deforestation for Higher Order Functional Programs. PhD thesis, University of Glasgow, 1996
22. Henrik Nilsson, Antony Courtney, and John Peterson. Functional Reactive Programming, continued. In ACM SIGPLAN 2002 Haskell Workshop, October 2002
23. Ross Paterson. A new notation for arrows. In ICFP'01: International Conference on Functional Programming, pages 229-240, Firenze, Italy, 2001
24. John Peterson, Gregory Hager, and Paul Hudak. A language for declarative robotic programming. In International Conference on Robotics and Automation, 1999
25. John Peterson, Paul Hudak, and Conal Elliott. Lambda in motion: Controlling robots with Haskell. In First International Workshop on Practical Aspects of Declarative Languages. SIGPLAN, Jan 1999
26. Peyton Jones S., et al. The Haskell 98 language and libraries: The revised report. Journal of Functional Programming 13 1 (Jan 2003). http://www.haskell.org/definition/ 0-255
27. Vincent van Oostrom, Kees-Jan van de Looij, and Marijn Zwitserlood. Lambdascope another optimal implementation of the lambda-calculus. In Workshop on Algebra and Logic on Programming Systems (ALPS), 2004
28. Wadler P. Deforestation: Transforming programs to eliminate trees. ESOP '88. European Symposium on Programming. Nancy, France, 1988. Lecture Notes in Computer Science vol. 300 (1988), Springer-Verlag, Berlin 344-358
29. Wadler P.L. Strictness analysis on non-flat domains by abstract interpretation over finite domains. In: Abramsky S., and Hankin C. (Eds). Abstract Interpretation of Declarative Languages (1987), Ellis Horwood, Chichester, UK
30. Wadler P.L. Fixing some space leaks with a garbage collector. Software Practice and Experience 17 9 (1987) 595-609
31. Wan Z., Taha W., and Hudak P. Real-time FRP. Proceedings of Sixth ACM SIGPLAN International Conference on Functional Programming. Florence, Italy (September 2001), ACM