Peter Achten, Ralf Hinze  Home/Search
Context
Related
| cs.kun.nl/pub/Clea...002Genamics.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.kun.nl/st/Onderz...publicaties (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we discuss the surprisingly elegant interaction between two lines of rather independent research, namely generic (or polytypic) programming and dynamic types. We show how the two disciplines meet and emphasize their characteristics in the area of interactive programming as implemented in the functional language Clean. In this language, an extensive library for creating Graphical User Interfaces is provided. We demonstrate how dynamic types can be used to store arbitrary GUI ... (Update)
Active bibliography (related documents): More All
0.6: When Generic Functions Use Dynamic Values - Achten, Alimarine, Plasmeijer (2003) (Correct)
0.5: Verification of the Temporal Properties of Dynamic.. - Horvath, Achten.. (1999) (Correct)
0.2: Appligraph: Applications of Graph Transformation - Fourth.. - Kreowski, (eds.) (2001) (Correct)
Similar documents based on text: More All
0.2: A Lightweight Implementation of Generics and Dynamics - Cheney, Hinze (2002) (Correct)
0.2: The Ins and Outs of Clean I/O - Achten, Plasmeijer (1994) (Correct)
0.2: A Framework for Deterministically Interleaved Interactive.. - Achten, Plasmeijer (1994) (Correct)
BibTeX entry: (Update)
@misc{ achten-combining,
author = "Peter Achten and Ralf Hinze",
title = "Combining Generics and Dynamics",
url = "citeseer.ist.psu.edu/achten02combining.html" }
Citations (may not include all citations):150 Java in a nutshell (context) - Flanagan - 1997
138 Functional Programming and Parallel Graph Rewriting (context) - Plasmeijer, van Eekelen - 1993
60 Polytypic values possess polykinded types - Hinze - 2002
60 Polytypic values possess polykinded types - Hinze - 2000
50 Derivable Type Classes - Hinze, Peyton - 2000
24 Dynamic types and type dependent functions - Pil
24 Type-indexed data types - Hinze, Jeuring et al. - 2002
23 a polytypic programming language extension (context) - Jansson, Jeuring - 1997
22 Interactive Functional Objects in Clean - Achten, Plasmeijer - 1997
15 Porting the Clean Object I/O Library to Haskell (context) - Achten, Peyton - 2011
8 The Napier88 Persistent Programming Language and Environment - Morrison, Connor et al. - 1999
8 Report on the Programming Language Haskell 98 { A Non-strict (context) - Jones, Hughes et al. - 1999
7 The ins and outs of Clean I/O - Achten, Plasmeijer - 1995
5 A Tutorial to the Clean Object I/O Library - Version (context) - Achten, Wierich - 2000
3 First Class File I/O (context) - Pil
1 Generic HSKELL (context) - Jeuring, Generic et al.
1 A Generic Extension to Clean (context) - Alimarine, Plasmeijer - 2001
Documents on the same site (http://www.cs.kun.nl/st/Onderzoek/Publicaties/publicaties.html): More
Arrows for Generic Graphical Editor Components - Peter Achten Marko (2004) (Correct)
A Generic Programming Extension for Clean - Alimarine, Plasmeijer (2001) (Correct)
Lazy Dynamic Input/Output in the lazy functional language Clean - Vervoort, Plasmeijer (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC