Abstract
Functional reactive programming
This research was supported in part by grants from the National Science Foundation (CCR9900957 and CCR-9706747), the Defense Advanced Research Projects Agency (F33615-99-C-3013 and DABT63-00-1-0002), and the National Aeronautics and Space Administration (NCC 2-1229). The second author was also supported by an NSF Graduate Research Fellowship.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bird, R.S.: A calculus of functions for program derivation. In: Turner, D.A. (ed.) Reseach Topics in Functional Programming. Adison-Wesley, Reading (1990)
Courtney, A., Elliott, C.: Genuinely functional user interfaces. In: Proc. of the 2001 Haskell Workshop (September 2001)
Dudek, G., Jenkin, M.: Computational Principles of Mobile Robots. Cambride University Press, New York (2000)
Elliott, C.: Functional implementations of continuous modeled animation. In: Palamidessi, C., Meinke, K., Glaser, H. (eds.) ALP 1998 and PLILP 1998. LNCS, vol. 1490, p. 284. Springer, Heidelberg (1998)
Elliott, C., Hudak, P.: Functional reactive animation. In: International Conference on Functional Programming, pp. 263–273 (June 1997)
Hudak, P.: The Haskell School of Expression – Learning Functional Programming through Multimedia. Cambridge University Press, New York (2000)
Hughes, J.: Generalising monads to arrows. Science of Computer Programming 37, 67–111 (2000)
Nilsson, H., Courtney, A., Peterson, J.: Functional Reactive Programming, continued. In: ACM SIGPLAN 2002 Haskell Workshop (October 2002)
Paterson, R.: A new notation for arrows. In: ICFP 2001: International Conference on Functional Programming, Firenze, Italy, pp. 229–240 (2001)
Pembeci, I., Nilsson, H., Hager, G.: Functional reactive robotics: An exercise in principled integration of domain-specific languages. In: Principles and Practice of Declarative Programming, PPDP 2002 (October 2002)
Peterson, J., Hager, G., Hudak, P.: A language for declarative robotic programming. In: International Conference on Robotics and Automation (1999)
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.
Peterson, J., Wan, Z., Hudak, P., Nilsson, H.: Yale FRP User’s Manual. Department of Computer Science. Yale University, New Haven (2001), Available at http://www.haskell.org/frp/manual.html
Reid, A., Peterson, J., Hager, G., Hudak, P.: Prototyping realtime vision systems: An experiment in DSL design. In: Proc. Int’l Conference on Software Engineering (May 1999)
Wan, Z.: Functional Reactive Programming for Real-Time Embedded Systems. PhD thesis, Department of Computer Science, Yale University (December 2002)
Wan, Z., Hudak, P.: Functional reactive programming from first principles. In: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation (PLDI), Vancouver, BC, Canada. ACM, pp. 242–252. ACM Press, New York (2000)
Wan, Z., Taha, W., Hudak, P.: Real-time FRP. In: Proceedings of Sixth ACM SIGPLAN International Conference on Functional Programming, Florence, Italy. ACM, New York (September 2001)
Wan, Z., Taha, W., Hudak, P.: Event-driven FRP. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, vol. 2257, p. 155. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hudak, P., Courtney, A., Nilsson, H., Peterson, J. (2003). Arrows, Robots, and Functional Reactive Programming. In: Jeuring, J., Jones, S.L.P. (eds) Advanced Functional Programming. AFP 2002. Lecture Notes in Computer Science, vol 2638. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44833-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-44833-4_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40132-2
Online ISBN: 978-3-540-44833-4
eBook Packages: Springer Book Archive