Jeremy Gibbons  @ NUS Home/Search
Context
Related
| web.comlab.ox.ac.u...atternsextabs.pdf Cached: PS.gz PS PDF Image Update Help From: web.comlab.ox.ac.uk/oucl/work/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes the work to be undertaken in the UK EPSRC-funded project Datatype Generic Programming, starting October 2003. The work described in this paper will constitute about a third of that project; a second strand, coordinated by Roland Backhouse at Nottingham, is looking at more of the underlying theory, including logical relations for modular specifications, higher-order naturality properties, and termination through well-foundedness; the remainder of the project consists of an... (Update)
Active bibliography (related documents): More All
2.0: Patterns in Datatype-Generic Programming - Gibbons (2003) (Correct)
0.3: TypeCase: A Design Pattern for Type-Indexed Functions - Bruno Oliveira And (2005) (Correct)
0.3: Direct Resolution for Modal-like Logics - Carlos Areces Juan (2002) (Correct)
Similar documents based on text: More All
0.2: Disciplined, Efficient, Generalised Folds for Nested Datatypes - Martin, Gibbons, Bayley (2002) (Correct)
0.1: Polytypic Downwards Accumulations - Gibbons (1998) (Correct)
0.1: Generic Downwards Accumulations - Gibbons (2000) (Correct)
BibTeX entry: (Update)
@misc{ gibbons-patterns,
author = "Jeremy Gibbons",
title = "Patterns in Datatype-Generic Programming (extended abstract)",
url = "citeseer.comp.nus.edu.sg/655842.html" }
Citations (may not include all citations):2157 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1995
165 Generative Programming: Methods (context) - Czarnecki, Eisenecker - 2000
104 Algebra of Programming (context) - Bird, de Moor - 1997
60 Polytypic values possess polykinded types - Hinze - 2002
49 van der Woude (context) - Backhouse, de Bruin et al. - 1992
49 van der Woude (context) - Backhouse, de Bruin et al. - 1991
17 The Generic Haskell user's guide - Clarke, Hinze et al. - 2001
15 Journal of Functional Programming (context) - Huet - 1997
12 Polytypic data conversion programs - Jansson, Jeuring - 2002
7 Functional logic overloading - Neubauer, Thiemann et al. - 2002
6 Faking it: Simulating dependent types in Haskell - McBride - 2002
4 Kluwer Academic Publishers (context) - Gibbons, Jeuring et al. - 2003
3 Generic Programming (context) - Jazayeri, Loos et al. - 2000
3 Patterns in datatype-generic programming - Gibbons - 2003
3 Haskell Workshop (context) - Okasaki, of - 2000
2 Programming with type classes (context) - Backhouse, Gibbons - 2001
Documents on the same site (http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/): More
Computing Downwards Accumulations on Trees Quickly - Gibbons (1996) (Correct)
Bridging the Algorithm Gap: A Linear-time Functional Program .. - de Moor, Gibbons (1999) (Correct)
Dotted and Dashed Lines in METAFONT - Gibbons (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.