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

557	A cookbook for using the model-view controller user interface paradigm in smalltalk80 - Krasner, Pope - 1988
418	Comprehending monads - Wadler - 1990
239	Classes and mixins - Flatt, Krishnamurthi, et al. - 1998
133	Generalizing monads to arrows - Hughes - 2000
114	Derivable type classes - Hinze, Jones - 2000
92	Dynamic typing in polymorphic languages - Abadi, Cardelli, et al. - 1995
84	A new approach to generic functional programming - Hinze - 2000
77	Fudgets---a graphical user interface in a lazy functional language - Carlsson, Hallgren - 1993
67	Exploring Generic Haskell - Löh - 2004
51	A generic programming extension for Clean - Alimarine, Plasmeijer - 2001
36	GAST: Generic automated software testing - Koopman, Alimarine, et al. - 2002
33	Generic Haskell, specifically - Clarke, Löh - 2002
28	Dynamic types and type dependent functions - Pil - 1999
21	Porting the Clean Object I/O library to Haskell - Achten, Jones, et al.
21	Interactive Functional Objects in Clean - Achten, Plasmeijer - 1998
19	Compositional model-views with generic graphical user interfaces - Achten, Eekelen, et al. - 2004
19	The ASF+SDF Meta-Environment: a Component-Based Language Development Environment - Brand, Deursen, et al. - 2001
15	Generic Graphical User Interfaces - Achten, Eekelen, et al. - 2003
15	Proxima – a presentation-oriented editor for structured documents - Schrage - 2002
14	Graph rewriting aspects of functional programming - Barendsen, Smetsers - 1999
13	Interactive Functional Programs - Models, Methods, and Implementation - Achten - 1996
13	Interactive Visual Functional Programming - Hanna - 2002
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