Real-time FRP

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 36, Issue 10, 2001, Pages 146-156

  Wan, Zhanyong ^a   Taha, Walid ^a   Hudak, Paul ^a  

^a YALE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144431441     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/507669.507654     Document Type: Article

References (39)

1. G. Berry and L. Cosserat. The esterel synchronous programming language and its mathematical semantics. In A.W. Roscoe S.D. Brookes and editors G. Winskel, editors, Seminar on Concurrency, volume 197 of Lect. Notes in Computer Science, pages 389-448. Springer Verlag, 1985.
2. Gerard Berry. The constructive semantics of pure esteral (draft version 3). Draft Version 3, Ecole des Mines de Paris and INRIA, July 1999.
3. P. Caspi, N. Halbwachs, D. Pilaud, and J.A. Plaice. Lustre: A declarative language for programming synchronous systems. In 14th A CM Symp. on Principles of Programming Languages, January 1987.
4. Paul Caspi and Marc Pouzet. Synchronous Kahn networks. ACM SIGPLAN Notices, 31(6):226-238, 1996.
5. Antony Courtney. Frappé: Functional reactive programming in Java. In Proceedings of Symposium on Practical Aspects of Declarative Languages. ACM, 2001.
6. Anthony C. Daniels. A Semantics for Functions and Behaviours. PhD thesis, The University of Nottingham, December 1999.
7. Roberto Di Cosmo. Isomorphisms of Types: from λ-calculus to information retrieval and language design. Progress in Theoretical Computer Science. Birkhäuser, 1995.
8. Conal Elliott. Modeling interactive 3D and multimedia animation with an embedded language. In Proceedings of the first conference on Domain-Specific Languages, pages 285-296. USENIX, October 1997.
9. Conal Elliott and Paul Hudak. Functional reactive animation. In International Conference on Functional Programming, pages 163-173, June 1997.
10. Thierry Gautier, Paul Le Guernic, and Loic Besnard. Signal: A declarative language for synchronous programming of real-time systems. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, volume 274 of Lect Notes in Computer Science, edited by G. Goos and J. Hartmanis, pages 257-277. Springer-Verlag, 1987.
11. Thomas A. Henzinger. The theory of hybrid automata. Technical report, University of California, Berkeley, 1996.
12. Martin Hofmann. A type system for bounded space and functional in-place update. In European Symposium on Programming (ESOP), Lecture Notes in Computer Science. Springer-Verlag, 2000.
13. P. Hudak, S. Peyton Jones, and P. Wadler (editors). Report on the Programming Language Haskell, A Non-strict Purely Functional Language (Version 1.2). ACM SIGPLAN Notices, 27(5), May 1992.
14. Paul Hudak. Building domain specific embedded languages. ACM Computing Surveys, 28A:(electronic), December 1996.
15. Paul Hudak. Modular domain specific languages and tools. In Proceedings of Fifth International Conference on Software Reuse, pages 134-142. IEEE Computer Society, June 1998.
16. Paul Hudak. The Haskell School of Expression - Learning Functional Programming through Multimedia. Cambridge University Press, New York, 2000.
17. John Hughes. Generalising monads to arrows. Science of Computer Programming, 37:67-111, May 2000.
18. John Hughes and Lars Pareto. Recursion and dynamic data-structures in bounded space: Towards embedded ML programming. In Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP-99), volume 34.9 of ACM Sigplan Notices, pages 70-81, N.Y., September 27-29 1999. ACM Press.
19. John Hughes, Lars Pareto, and Amr Sabry. Proving the correctness of reactive systems using sized types. In Guy L. Steele Jr, editor, In proceedings of the ACM Symposium on Principles of Programming Languages (POPL), volume 23, St Petersburg, Florida, 1996. ACM Press.
20. Richard Kieburtz. Real-time reactive programming for embedded controllers. Available from author's home page, March 2001.
21. Richard B. Kieburtz. Implementing closed domain-specific languages. In [36], pages 1-2, 2000.
22. O. (Oded) Maler, editor. Hybrid and real-time systems: international workshop, HART '97, Grenoble, France, March 26-28, 1997: proceedings, volume 1201 of Lecture Notes in Computer Science, New York, NY, USA, 1997. Springer-Verlag.
23. Eugenio Moggi, Walid Taha, Zine El-Abidine Benaissa, and Tim Sheard. An idealized MetaML: Simpler, and more expressive. In European Symposium on Programming (ESOP), volume 1576 of Lecture Notes in Computer Science, pages 193-207. Springer-Verlag, 1999.
24. A. S. Murawski and C.-H. L. Ong. Can safe recursion be interpreted in light logic? In Second International Workshop on Implicit Computational Complexity, Santa Barbara, June 200.
25. Alan Mycroft and Richard Sharp. A statically allocated parallel functional language. In Automata, Languages and Programming, pages 37-48, 2000.
26. Oregon Graduate Institute Technical Reports. P.O. Box 91000, Portland, OR 97291 -1000, USA. Available online from ftp://cse.ogi.edu/pub/tech-reports/README.html. Last viewed August 1999.
27. John Peterson, Gregory Hager, and Paul Hudak. A language for declarative robotic programming. In International Conference on Robotics and Automation, 1999.
28. 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.
29. Gordon Plotkin. A structural approach to operational semantics. Technical report, Computer Science Department, Aarhus University, 1981.
30. 3 report on the algorithmic language Scheme. SIGPLAN Notices, 21(12):37-79, December 1986.
31. Alastair Reid, John Peterson, Greg Hager, and Paul Hudak. Prototyping real-time vision systems: An experiment in DSL design. In Proc. Int'l Conference on Software Engineering, May 1999.
32. John H. Reppy. CML: A higher-order concurrent language. Proceedings of the ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, pages 293-305, 1991.
33. Meurig Sage. FranTk - a declarative GUI language for Haskell. In Proceedings of Fifth ACM SIGPLAN International Conference on Functional Programming, pages 106-118, Montreal, Canada, September 2000. ACM.
34. David Sands. A naïve time analysis and its theory of cost equivalence. Journal of Logic and Computation, 5(4):495-541, 1995.
35. Walid Taha. Multi-Stage Programming: Its Theory and Applications. PhD thesis, Oregon Graduate Institute of Science and Technology, 1999. Available from [26].
36. Walid Taha, editor. Semantics, Applications, and Implementation of Program Generation, volume 1924 of Lecture Notes in Computer Science, Montréal, 2000. Springer-Verlag.
37. Walid Taha, Zine-El-Abidine Benaissa, and Tim Sheard. Multi-stage programming: Axiomatization and type-safety. In 25th International Colloquium on Automata, Languages, and Programming (ICALP), volume 1443 of Lecture Notes in Computer Science, pages 918-929, Aalborg, 1998.
38. W.W. Wadge and E.A. Ashcroft. Lucid, the Dataflow Programming Language. Academic Press U.K., 1985.
39. Zhanyong Wan and Paul Hudak. Functional reactive programming from first principles. In Proceedings of Symposium on Programming Language Design and Implementation. ACM, 2000.