A functional reactive animation of a lift using Fran

Journal of Functional Programming

Volumn 10, Issue 3, 2000, Pages 245-268

  Thompson, Simon ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034416076     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796800003671     Document Type: Article

References (18)

1. Cameron, H., King, P. and Thompson, S. (1999) Modelling Reactive Multimedia: Events and Behaviours. http://www.cs.ukc.ac.uk/people/staff/sjt/Fran.
2. Elliott, C. (1997) Composing Reactive Animations. Available: http://www.research.microsoft.com/twidconal/fran.
3. Elliott, C. (1998) Functional implementations of continuous modeled animation. Proc. Joint Conference PLILP/ALP. Springer-Verlag.
4. Elliott, C. (1999) An embedded modelling language approach to interactive 3D and multimedia animation. IEEE Trans. Softw. Eng., 25.
5. Elliott, C. and Hudak, P. (1997) Functional Reactive Animation. Proc. ACM SIGPLAN International Conference on Functional Programming ICFP97. ACM Press.
6. Elliott, C. et al. (1994) TBAG: A high-level framework for interactive, animated 3D graphics applications. Proc. SIGGRAPH '94. ACM Press.
7. Emerson, E. A. (1990) Temporal and Modal Logic. In: van Leeuwen, J. (ed.), Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier/MIT Press.
8. ETL (1998) Challenges for Executable Temporal Logics. Further details: http://www.cs.waikato.ac.nz/twiddsmith/CHALLENGES/.
9. Glasgow Haskell Compiler (1998) The Glasgow Haskell Compiler. Available: http://www.dcs.glasgow.ac.uk/fp/software/ghc/.
10. Henderson, P. (1982) Functional Geometry. Proc. ACM Symposium on LISP and Functional Programming. ACM Press.
11. Hudak, P. et al. (1996) Haskore music notation - An algebra of music. J. Functional Programming, 6.
12. Hughes, J. and Peyton Jones, S. (eds.) (1999) Report on the Programming Language Haskell 98. http://www.haskell.org/report/.
13. Hugs98. (1999) The Hugs 98 System. http://www.haskell.org/hugs/.
14. Peterson, J., Elliott, C. and Ling, G. S. (1997) Fran Users' Manual. Available: http://www.haskell.org/fran.
15. Thompson, S. (1990) Interactive functional programs: a method and a formal semantics. In: Turner, D. A. (ed), Research Topics in Functional Programming, pp. 249-285. Addison-Wesley.
16. Thompson, S. (1999) Verifying Fran Programs. Available: http://www.cs.ukc.ac.uk/people/staff/sjt/Fran.
17. Wadler, P. (1995) Monads for functional programming. In: Jeuring, J. and Meijer, E. (eds.), Advanced Functional Programming: Lecture Notes in Computer Science 925. Springer-Verlag.
18. Zhou Chaochen (1994) Duration Calculi: An Overview. In: Bjørner, D. et al. (eds.), Formal Methods in Programming and their Applications: Lecture Notes in Computer Science 735. Springer-Verlag.