James Cheney, Ralf Hinze  Home/Search
Context Related
| informatik.unibonn.de/~...HW2002.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: informatik.unibon...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The recent years have seen a number of proposals for extending statically typed languages by dynamics or generics. Most proposals --- if not all --- require significant extensions to the underlying language. In this paper we show that this need not be the case. We propose a particularly lightweight extension that supports both dynamics and generics. Furthermore, the two features are smoothly integrated: dynamic values, for instance, can be passed to generic functions. Our proposal makes do with ... (Update)
Cited by: More
Polytypic Functional Programming and Data Abstraction - Iglesias (2006) (Correct)
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) (Correct)
Implementing Cut Elimination: A Case Study of Simulating.. - Chiyan Chen Dengping (2003) (Correct)
Active bibliography (related documents): More All
2.1: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
1.7: A Lightweight Implementation of Generics and Dynamics - Cheney, Hinze (2002) (Correct)
0.5: Generic Haskell: Practice and Theory - Hinze, Jeuring (2003) (Correct)
Similar documents based on text: More All
0.2: Phantom Types - Cheney, Hinze (2003) (Correct)
0.2: Dynamic Values Need Polytypic Functions - Achten, Alimarine, Plasmeijer (2002) (Correct)
0.2: A Sequent Calculus for Nominal Logic - Gabbay, Cheney (2004) (Correct)
Related documents from co-citation: More All
10: Dependent types in practical programming - Xi, Pfenning - 1999
9: Typing dynamic typing (context) - Baars, Swierstra - 2002
6: Guarded recursive datatype constructors - Xi, Chen et al. - 2002
BibTeX entry: (Update)
James Cheney and Ralf Hinze. A lightweight implementation of generics and dynamics. In Manuel M.T. Chakravarty, editor, Proceedings of the 2002 ACM SIGPLAN Haskell Workshop, pages 90-104. ACM Press, October 2002. http://citeseer.ist.psu.edu/cheney02lightweight.html More
@misc{ cheney02lightweight,
author = "J. Cheney and R. Hinze",
title = "A lightweight implementation of generics and dynamics",
text = "James Cheney and Ralf Hinze. A lightweight implementation of generics and
dynamics. In Manuel M.T. Chakravarty, editor, Proceedings of the 2002 ACM
SIGPLAN Haskell Workshop, pages 90-104. ACM Press, October 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/cheney02lightweight.html" }
Citations (may not include all citations):315 Dynamic typing in a statically typed language - Abadi, Cardelli et al. - 1991
261 Dynamic typing in polymorphic languages - Abadi, Cardelli et al. - 1995
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
190 How to make ad-hoc polymorphism less ad hoc - Wadler, Blott - 1989
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
143 A modal analysis of staged computation - Davies, Pfenning - 2001
138 Typed closure conversion - Minamide, Morrisett et al. - 1996
137 Journal of Functional Programming (context) - Leroy, Mauny et al. - 1993
133 Multi-stage programming with explicit annotations - Taha, Sheard - 1997
128 and separate compilation (context) - Leroy, modules - 1994
109 PolyP---a polytypic programming language extension - Jansson, Jeuring - 1997
92 Purely Functional Language (context) - Jones, Hughes et al. - 1999
86 Intensional polymorphism in type-erasure semantics - Crary, Weirich et al. - 1999
64 Types and programming languages (context) - Pierce - 2002
63 A new approach to generic functional programming - Hinze - 2000
60 Polytypic values possess polykinded types - Hinze - 2002
60 Flexible type analysis - Crary, Weirich - 1999
52 Generic Programming --- An Introduction (context) - Backhouse, Jansson et al. - 1999
50 Derivable type classes - Hinze, Jones - 2000
45 Nested datatypes - Bird, Meertens - 1998
31 Horn clause programs with polymorphic types: semantics and r.. (context) - Hanus - 1991
29 A generic programming extension for Clean - Alimarine, Plasmeijer - 2001
24 Dynamic types and type dependent functions - Pil - 1999
23 Dynamic typing as staged type inference - Shields, Sheard et al. - 1998
18 Theorems for free (context) - Wadler - 1989
17 The Generic Haskell user's guide - Clarke, Hinze et al. - 2001
16 ACM Trans98 actions on Programming Languages and Systems (context) - Hall, Hammond et al. - 1996
14 Type-safe cast: functional pearl - Weirich - 2000
14 Typing dynamic typing (context) - Baars, Swierstra - 2002
13 Encoding intensional type analysis - Weirich - 2001
5 Memo functions (context) - Hinze - 2000
3 The Girard-Reynolds isomorphism - Wadler - 2001
2 Playing by the rules: Rewriting as an optimization technique.. (context) - Jones, Tolmach et al. - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatik.uni-bonn.de/~ralf/publications.html): More
Polytypic Functions Over Nested Datatypes - Hinze (1999) (Correct)
Generalizing Generalized Tries - Hinze (1999) (Correct)
Numerical Representations as Higher-Order Nested Datatypes - Hinze (1998) (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