Interactive visual functional programming

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

Volumn , Issue , 2002, Pages 145-156

  Hanna, Keith ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Edit; Functional; Haskell; Interactive; Live; Stylesheet; Visual

Indexed keywords

COMPUTER GRAPHICS; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; SEMANTICS; SOFTWARE ENGINEERING;

HASKELL; INTERACTIVE VISUAL FUNCTIONAL PROGRAMMING;

LOGIC PROGRAMMING;

EID: 0036949277     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/583852.581493     Document Type: Conference Paper

References (22)

1. S. Aditya and R. S. Nikhil. Incremental polymorphism. In J. Hughes, editor, Proc. Functional Programming Languages and Computer Architecture, 5th ACM Conference, volume 523 of Lecture Notes in Computer Science, pages 379-405. Springer, 1991.
2. D. Bricklin. VisiCalc spreadsheet. Announced at National Computer Conference, New York City, Jun 1979.
3. M. Burnett. Visual language research bibliography. Technical report, Oregon State University, 2002. Available from http:\\www.cs.orst.edu/~burnett/vpl.html.
4. M. Burnett, A. Agrawal, and P. van Zee. Exception handling in the spreadsheet paradigm. IEEE Trans. on Software Engineering, pages 923-942, Oct 2000.
5. M. Burnett et al. Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm. J. Functional Programming, 11(2):155-260, March 2001.
6. R. J. Casimir, Real programmers don't use spreadsheets. ACM SIGPLAN Notices, 27(6):10-16, June 1992.
7. L. Dami and D. Vallet. Higher-order functional composition in visual form. In D. Tsichritzis, editor, Object Applications, pages 139-154. Univ. of Geneva, 1996.
8. A. Davie and K. Hammond. Functional hypersheets. In P. Trinder, editor, Proc. 1996 Glasgow workshop on Functional Programming, 1996.
9. W. A. C. A. J. de Hoon, L. M. W. J. Rutten, and M. C. J. D. van Eekelen. Implementing a functional spreadsheet in Clean. J. Functional Programming, 5(3):383-414, July 1995.
10. W. Du and W. W. Wadge. A 3D spreadsheet based on intensional logic. IEEE Software, pages 78-89, May 1990.
11. K. Hanna. Implementing theorem provers in a purely functional style. J. Functional Programming. 9(2):147-166, March 1999.
12. K. Hanna. Overview of Vital. University of Kent, 2001. Includes tutorial, reference manual and download. Available from http://www.cs.ukc.ac.uk/people/staff/kfh/Vital.
13. J. Kelso. Visual representation for functional programs. Technical Report CS-95-01, Dept of Comp. Sc., Murdoch University, 1995.
14. R. E. Maeder. Higher-order functions. The Mathematica journal, 5:61-67, 1995.
15. B. Myers, D. Guise, R. Dannenberg, B. V. Zanden, D. Kosbie, E. Pervin, A. Mickish, and P. Marchal. Garnet: Comprehensive support for graphical, highly interactive user interfaces. IEEE Computer, pages 71-85, November 1990.
16. R. R. Panko. What we know about spreadsheet errors. J. End User Computing, 10(2):15-21, 1998.
17. S. Peyton Jones. The implementation of functional programming languages. Prentice Hall, 1987.
18. S. Peyton Jones, A. Reid, F. Henderson, C. A. R. Hoare, and S. Marlow. A semantics for imprecise exceptions. In SIGPLAN Conference on Programming Language Design and Implementation, pages 25-36. 1999.
19. J. Poswig, G. Vrankar, and C. Morara. VisaVis: a higher-order functional visual programming language. J. Visual Languages and Computing, 5(1):83-111, 1994.
20. H. J. Reekie. Visual Haskell: a first attempt. Technical Report 94.5, Centre for Adv. Comp. Sc., Univ. of Tech., Sydney, 1994.
21. B. Shneiderman. Designing the User Interface. Addison-Wesley, 1998.
22. P. Wadler. Why no one uses functional languages. ACM SIGPLAN Notices, 33(8):23-27, 1998.