Push-pull functional reactive programming

Haskell'09 - Proceedings of the 2009 ACM SIGPLAN Haskell Symposium

Volumn , Issue , 2009, Pages 25-36

  Elliott, Conal ^a  

^a LambdaPix ^*

Author keywords

Concurrency; Data driven; Demand driven; Functional reactive programming; Semantics

Indexed keywords

CONTINUOUS TIME; DATA-DRIVEN; EFFICIENT IMPLEMENTATION; FUNCTORS; MONOIDS; MORPHISMS; NORMAL FORM; REACTIVE PROGRAMMING; SAMPLING PERIOD;

FIBER REINFORCED PLASTICS; REINFORCED PLASTICS; SEMANTICS;

FUNCTIONAL PROGRAMMING;

EID: 72949123539     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1596638.1596643     Document Type: Conference Paper

References (22)

1. F. Warren Burton. Indeterminate behavior with determinate semantics in parallel programs. In International conference on Functional programming languages and computer architecture, pages 340-346. ACM, 1989.
2. F. Warren Burton. Encapsulating nondeterminacy in an abstract data type with deterministic semantics. Journal of Functional Programming, 1(1):3-20, January 1991.
3. Antony Courtney and Conal Elliott. Genuinely functional user interfaces. In Haskell Workshop, September 2001.
4. Conal Elliott. A brief introduction to ActiveVRML. Technical Report MSR-TR-96-05, Microsoft Research, 1996. URL http://conal.net/papers/ActiveVRML/.
5. Conal Elliott. Functional implementations of continuous modeled animation. In Proceedings of PLILP/ALP, 1998a.
6. Conal Elliott. An imperative implementation of functional reactive animation. Unpublished draft, 1998b. URL http://conal.net/papers/new-fran-draft. pdf.
7. Conal Elliott. Denotational design with type class morphisms. Technical Report 2009-01, LambdaPix, March 2009. URL http://conal.net/papers/type-class- morphisms.
8. Conal Elliott and Paul Hudak. Functional reactive animation. In International Conference on Functional Programming, 1997.
9. Saunders Mac Lane. Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer, September 1998.
10. Conor McBride and Ross Paterson. Applicative programming with effects. Journal of Functional Programming, 18(1):1-13, 2008.
11. Henrik Nilsson. Dynamic optimization for functional reactive programming using generalized algebraic data types. In International conference on Functional programming, pages 54-65. ACM Press, 2005.
12. Henrik Nilsson, Antony Courtney, and John Peterson. Functional reactive programming, continued. In Haskell Workshop, pages 51-64. ACM Press, October 2002.
13. John Peterson, Paul Hudak, and Conal Elliott. Lambda in motion: Controlling robots with Haskell. In Practical Aspects of Declarative Languages, 1999.
14. John Peterson, Valery Trifonov, and Andrei Serjantov. Parallel functional reactive programming. Lecture Notes in Computer Science, 1753, 2000.
15. Simon Peyton Jones, Andrew Gordon, and Sigbjorn Finne. Concurrent Haskell. In Symposium on Principles of Programming Languages, January 1996.
16. Meurig Sage. FranTk - a declarative GUI language for Haskell. In International Conference on Functional Programming, pages 106-118. ACM, ACM Press, September 2000.
17. Enno Scholz and Boris Bokowski. PIDGETS++ - a C++ framework unifying postscript pictures, GUI objects, and lazy one-way constraints. In Conference on the Technology of Object-Oriented Languages and Systems. Prentice-Hall, 1996.
18. Michael Sperber. Computer-Assisted Lighting Design and Control. PhD thesis, University of Tübingen, June 2001.
19. Philip Wadler. Comprehending monads. In Conference on LISP and Functional Programming, pages 61-78. ACM, 1990.
20. Zhanyong Wan and Paul Hudak. Functional Reactive Programming from first principles. In Conference on Programming Language Design and Implementation, 2000.
21. Zhanyong Wan, Walid Taha, and Paul Hudak. Real-time FRP. In International Conference on Functional Programming, 2001.
22. Zhanyong Wan, Walid Taha, and Paul Hudak. Event-driven FRP. In Practical Aspects of Declarative Languages, January 2002.