GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications

GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (2005)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Peter Achten , Marko van Eekelen , Rinus Plasmeijer , Arjen Van Weelden

Venue:	In 5th International Summer School on Advanced Functional Programming (AFP 2004), volume 3622 of LNCS
Citations:	4 - 4 self

BibTeX

@INPROCEEDINGS{Achten05gec:a,
    author = {Peter Achten and Marko van Eekelen and Rinus Plasmeijer and Arjen Van Weelden},
    title = {GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications},
    booktitle = {In 5th International Summer School on Advanced Functional Programming (AFP 2004), volume 3622 of LNCS},
    year = {2005},
    pages = {210--244},
    publisher = {Springer}
}

Bookmark

OpenURL

Abstract

Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without any knowledge of lowlevel I/O handling. Instead, he works with Graphical Editor Components (GEC). A GEC is an interactive component that is automatically derived from an arbitrary monomorphic data type, including higher order types.

Citations

601	A cookbook for using the model-view-controller user interface paradigm - Krasner, Pope - 1988
455	Comprehending monads - Wadler - 1990
257	Classes and mixins - Flatt, Krishnamurthi, et al. - 1998
159	Generalising monads to arrows - Hughes - 2000
121	S.: Derivable type classes - Hinze, Jones - 2000
98	Dynamic typing in polymorphic languages - Abadi, Cardelli, et al. - 1995
96	A new approach to generic functional programming - Hinze - 2000
77	Fudgets – a graphical user interface in a lazy functional language - Carlsson, Hallgren - 1993
68	Exploring Generic Haskell - Löh - 2004
52	A Generic Programming Extension for Clean - Alimarine, Plasmeijer - 2002
41	R.: Gast: Generic Automated Software Testing - Koopman, Alimarine, et al. - 2003
36	Generic haskell, specifically - Clarke, Löh - 2003
28	Dynamic types and type dependent functions - Pil - 1998
21	Porting the Clean Object I/O library to Haskell - Achten, Jones, et al.
21	Interactive Functional Objects in Clean - Achten, Plasmeijer - 1998
20	The ASF+SDF Meta-Environment: A Component-Based Language Development Environment - Brand - 2001
19	2004b. Compositional model-views with generic graphical user interfaces - Achten, Eekelen, et al.
17	Proxima—a presentation-oriented editor for structured documents - Schrage - 2004
15	Generic Graphical User Interfaces - Achten, Eekelen, et al. - 2003
14	Graph rewriting aspects of functional programming - Barendsen, Smetsers - 1999
14	Interactive visual functional programming - Hanna - 2002
13	Interactive Functional Programs - Models, Methods, and Implementation - Achten - 1996
11	Report on the programming language Haskell - Jones, Hughes
10	Lazy dynamic input/output in the lazy functional language clean - Vervoot, Plasmeijer - 2002
6	R.: A functional shell that dynamically combines compiled code - Weelden, Plasmeijer - 2003
3	Arrows for Generic Graphical Editor Components - Achten, Eekelen, et al. - 2004
3	Dynamic types and type dependent functions - orgdefinition - 1999
2	Rinus and van Weelden, Arjen. Automatic Generation of Editors for Higher-Order Data Structures - Achten, Eekelen, et al. - 2004
2	Arrows for Generic Graphical Editor Components. 2004. Under Submission; available as Nijmegen - Achten, Eekelen, et al.
2	Proxima, a presentation-oriented XML editor - Schrage - 2004
2	a presentation-oriented XML editor - Proxima - 2003