Tangible functional programming

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

Volumn , Issue , 2007, Pages 59-70

  Elliott, Conal M ^a  

^a LambdaPix ^*

Author keywords

Arrows; Combinator libraries; End user programming; Gestural composition; Interactive programming; Interactive visualization

Indexed keywords

ABSTRACTING; ALGEBRA; INTERACTIVE COMPUTER SYSTEMS; LINGUISTICS; PARAMETERIZATION; USER INTERFACES;

ARROWS; COMBINATOR LIBRARIES; END-USER PROGRAMMING; GESTURAL COMPOSITION; INTERACTIVE PROGRAMMING; INTERACTIVE VISUALIZATION;

FUNCTIONAL PROGRAMMING;

EID: 38849121928     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1291151.1291163     Document Type: Conference Paper

References (18)

1. Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, and Rinus Plasmeijer. There and back again: arrows for invertible programming. In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, pages 86-97, New York, NY, USA, 2005. ACM Press.
2. Margaret Burnett, John Atwood, Rebecca Walpole Djang, James Reichwein, Herkimer Gottfried, and Sherry Yang. Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm. Journal of Functional Programming, 11 (2):155-206, 2001.
3. Conal Elliott. Functional Images. In The Fun of Programming, "Cornerstones of Computing" series. Palgrave, March 2003.
4. Keith Hanna. Interactive visual functional programming. In S Peyton Jones, editor, ICFP '02: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming, pages 100-112. ACM, October 2002.
5. Paul Hudak and Mark P. Jones. Haskell vs. Ada vs. C++ vs Awk vs... an experiment in software prototyping productivity. Technical report, Yale, 1994.
6. John Hughes. Generalising monads to arrows. Science of Computer Programming, 37:67-111, May 2000.
7. Mark P. Jones. Type classes with functional dependencies. In ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems, pages 230-244, London, UK, 2000. Springer-Verlag.
8. Joel Kelso. A visual representation for functional programs. Technical Report CS/95/0.1, Western Australia, Australia, 1994.
9. Marc Levoy. Spreadsheets for images. In SIGGRAPH '94: Proceedings of the 21st Annual. Conference on Computer Graphics and Interactive Techniques, pages 139-146, New York, NY, USA, 1994. ACM Press.
10. M. A. Najork and E. Golin. Enhancing show-and-tell with a polymorphic type system and higher-order functions. In Proceedings of the IEEE Workshop 1990 on Visual Languages, pages 215-220, Skokie, IL, 1990.
11. André Pang, Don Stewart, Sean Seefried, and Manuel M. T. Chakravarty. Plugging Haskell in. In Proceedings of the ACM SIGPLAN Workshop on Haskell, pages 10-21. ACM Press, 2004.
12. Simon Peyton Jones and Mark Shields. Lexically scoped type variables. March 2002.
13. Simon Peyton Jones, Alan Blackwell, and Margaret Burnett. A user-centred approach to functions in Excel. In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, pages 165-176, New York, NY, USA, 2003. ACM Press.
14. Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey Washburn. Simple unification-based type inference for GADTs. In Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming, Portland, Oregon, September 2006. ACM SIGPLAN.
15. Frank Pfenning and Conal Elliott. Higher-Order Abstract Syntax. In Programming Language Design and Implementation, 1988.
16. Jörg Poswig, Guido Vrankar, and Claudio Moraga. VisaVis: a higher-order functional visual programming language. Journal of Visual Languages and Computing, 5(1):83-111, 1994.
17. John C. Reynolds. Towards a theory of type structure. In Programming Symposium, Proceedings Colloque sur la Programmation, pages 408-423, London, UK, 1974. Springer-Verlag.
18. David Wakeling. Spreadsheet functional programming. Journal of Functional Programming, 17(1):131-143, 2007.