PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
SIGGRAPH '94 Proceedings of the 21st annual conference on Computer graphics and interactive techniques
Science of Computer Programming - Special issue on mathematics of program construction
Interactive visual functional programming
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
A user-centred approach to functions in Excel
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
Journal of Functional Programming
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
There and back again: arrows for invertible programming
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Simple unification-based type inference for GADTs
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Spreadsheet functional programming
Journal of Functional Programming
An Introduction to iTasks: Defining Interactive Work Flows for the Web
Central European Functional Programming School
An iTask case study: a conference management system
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
Palovca: describing and executing graph algorithms in haskell
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Virtualizing real-world objects in FRP
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
GiN: a graphical language and tool for defining itask workflows
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Hi-index | 0.00 |
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestations of pure values, including functions. Programming happens by gestural composition of TVs. Our goal is to give end-users the ability to create parameterized, composable content without imposing the usual abstract and linguistic working style of programmers. We hope that such a system will put the essence of programming into the hands of many more people, and in particular people with artistic/visual creative style. In realizing this vision, we develop algebras for visual presentation and for "deep" function application, where function and argument may both be nested within a structure of tuples, functions, etc. Composition gestures are translated into chains of combinators that act simultaneously on statically typed values and their visualizations.