Dynamic optimization for functional reactive programming using Generalized Algebraic Data Types

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2005, Pages 54-65

  Nilsson, Henrik ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

Arrows; Combinator library; Domain specific languages; DSEL; FRP; Functional programming; GADT; Haskell; Reactive programming; Synchronous dataflow languages; Yampa

Indexed keywords

ARROWS; COMBINATOR LIBRARY; DOMAIN SPECIFIC LANGUAGES; DSEL; FRP; GADT; HASKELL; REACTIVE PROGRAMMING; SYNCHRONOUS DATA-FLOW LANGUAGES; YAMPA;

ALGEBRA; BENCHMARKING; COMPUTER PROGRAMMING LANGUAGES; OPTIMIZATION; PROBLEM ORIENTED LANGUAGES;

FUNCTIONAL PROGRAMMING;

EID: 33745849435     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086365.1086374     Document Type: Conference Paper

References (30)

1. Arthur I. Baars and S. Doaitse Swierstra. Type-safe, self inspecting code. In Proceedings of the 2004 ACM SIGPLAN Haskell Workshop (Haskell'04), pages 69-79. ACM Press, 2004.
2. G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):217-248, 1992.
3. Magnus Carlsson and Thomas Hallgren. Fudgets: A graphical user interface in a lazy functional language. In Conference on Functional Programming Languages and Computer Architecture (FPCA '93), pages 321-330, Copenhagen, Denmark, June 1993. ACM Press.
4. Magnus Carlsson and Thomas Hallgren. Fudgets - Purely Functional Processes with Applications to Graphical User Interfaces. PhD thesis, Department of Computing Science, Chalmers University of Technology, 1998.
5. P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. LUSTRE: A declarative language for programming synchronous systems. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages, New York, NY, 1987. ACM.
6. Paul Caspi and Marc Pouzet. Lucid Synchrone, a functional extension of Lustre. Submitted for publication, 2000.
7. Olaf Chitil, Colin Runciman, and Malcolm Wallace. Freja, Hat and Hood - a comparative evaluation of three systems for tracing and debugging lazy functional programs. In Markus Mohnen and Pieter Koopman, editors, Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), Aachen, Germany, September 2000, volume 2011 of Lecture Notes in Computer Science, pages 176-193. Springer-Verlag, 2001.
8. Antony Courtney and Conal Elliott. Genuinely functional user interfaces. In Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, Firenze, Italy, September 2001.
9. Antony Courtney, Henrik Nilsson, and John Peterson. The Yampa arcade. In Proceedings of the 2003 ACM SIGPLAN Haskell Workshop (Haskell'03), pages 7-18, Uppsala, Sweden, August 2003. ACM Press.
10. Conal Elliott. Functional implementations of continuous modelled animation. In Proceedings of PLILP/ALP '98. Springer-Verlag, 1998.
11. Conal Elliott, Sigbjørn Finne, and Oege de Moor. Compiling embedded languages. In Semantics, Applications, and Implementation of Program Generation (SAIG 2000), volume 1924 of Lecture Notes in Computer Science, pages 9-27, Montreal, Canada, September 2000. Springer-Verlag.
12. Conal Elliott and Paul Hudak. Functional reactive animation. In Proceedings of ICFP'97: International Conference on Functional Programming, pages 163-173, June 1997.
13. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, 1991.
14. Thomas A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logics in Computer Science (LICS 1996), pages 278-292, 1996.
15. Paul Hudak. Modular domain specific languages and tools. In Proceedings of Fifth International Conference on Software Reuse, pages 134-142, June 1998.
16. Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson. Arrows, robots, and functional reactive programming. In Johan Jeuring and Simon Peyton Jones, editors, Advanced Functional Programming, 4th International School 2002, volume 2638 of Lecture Notes in Computer Science, pages 159-187. Springer-Verlag, 2003.
17. John Hughes. The design of a pretty-printing library. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming, volume 925 of Lecture Notes in Computer Science, pages 53-96. Springer Verlag, LNCS 925, 1995.
18. John Hughes. Generalising monads to arrows. Science of Computer Programming, 37:67-111, May 2000.
19. John Hughes. Programming with arrows. In Advanced Functional Programming, 2004. To be published by Springer Verlag in their LNCS series.
20. The MathWorks, Inc. Using Simulink Version 4, June 2001. http://www.mathworks.com
21. Henrik Nilsson, Antony Courtney, and John Peterson. Functional reactive programming, continued. In Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell'02), pages 51-64, Pittsburgh, Pennsylvania, USA, October 2002. ACM Press.
22. Ross Paterson. A new notation for arrows. In Proceedings of the 2001 ACM SIGPLAN International Conference on Functional Programming, pages 229-240, Firenze, Italy, September 2001.
23. John Peterson, Greg Hager, and Paul Hudak. A language for declarative robotic programming. In Proceedings of IEEE Conference on Robotics and Automation, May 1999.
24. John Peterson, Paul Hudak, and Conal Elliott. Lambda in motion: Controlling robots with Haskell. In Proceedings of PADL'99: 1st International Conference on Practical Aspects of Declarative Languages, pages 91-105, January 1999.
25. John Peterson, Paul Hudak, Alastair Reid, and Greg Hager. FVision: A declarative language for visual tracking. In Proceedings of PADL'01: 3rd International Workshop on Practical Aspects of Declarative Languages, pages 304-321, January 2001.
26. Simon Peyton Jones, Geoffrey Washburn, and Stephanie Weirich. Wobbly types: type inference for generalized algebraic data types. Submitted to POPL'05, July 2004.
27. Marc Pouzet, Paul Caspi, Pascal Couq, and Grégoire Hamon. Lucid Synchrone v2.0 - tutorial and reference manual. http://www-spi.lip6.fr/lucid- synchrone/lucid-synchrone-2.0-manual.ps, April 2001.
28. Meurig Sage. FranTk: A declarative GUI system for Haskell. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 2000), September 2000.
29. S. D. Swierstra and Luc Duponcheel. Deterministic, error-correcting combinator parsers. In John Launchbury, Erik Meijer, and Tim Sheard, editors, Advanced Functional Programming, volume 1129 of Lecture Notes in Computer Science, pages 184-207. Springer-Verlag, 1996.
30. Philip Wadler. How to replace failure with a list of successes. In Conference on Functional Programming Languages and Computer Architecture (FPCA '85), volume 201 of Lecture Notes in Computer Science, pages 113-128. Springer-Verlag, 1985.