Leonidas Fegaras, Tim Sheard  Home/Search
Context Related
| ogi.edu/pub/techreports...95014.ps.gz sop.inria.fr/oasis/pe...Fegaras95.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: ogi.edu/PacSoft/pub...bibliograph (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we give numerous examples of why it is truly important to be able to define catamorphisms over datatypes with embedded functions and show how to define functions as catamorphisms even when no right inverse exists by using a trick that invents an approximate inverse instead. In order to ensure soundness of this trick we replace the restriction of the existence of a right inverse with another less demanding restriction and show how the type system can be used to statically enforce this ... (Update)
Context of citations to this paper: More
.... thing can be created (this was solved in Section 9 by the use of gensym and var) There are other tricks for solving this problem [26], but in the end, they only make matters worse. Latent effects. HaAS delays non termination and other effects. This problem is especially...
...of derived programs is not discusses. There are several functional approaches for computation on graphs. For instance, Fegaras and Sheard [14] treat graphs with embedded functions, i.e. graphs are treated as functions that generates all paths in a graph. Erwig introduces the...
Cited by: More
Imperative LF Meta-Programming - Stump (2004) (Correct)
Higher-Order Intensional Type Analysis in Type-Erasure Semantics - Weirich (2003) (Correct)
Cycle Therapy: - Prescription For Fold (2001) (Correct)
Similar documents (at the sentence level):
38.7%: Revisiting Catamorphisms over Datatypes with Embedded.. - Fegaras, Sheard (1996) (Correct)
Active bibliography (related documents): More All
0.2: Merging Monads and Folds for Functional Programming - Meijer, Jeuring (1995) (Correct)
0.2: Bananas in Space: Extending Fold and Unfold to Exponential Types - Meijer, Hutton (1995) (Correct)
0.2: Numerical Representations as Higher-Order Nested Datatypes - Hinze (1998) (Correct)
Similar documents based on text: More All
0.3: Warm Fusion: Deriving Build-Catas from Recursive Definitions - Launchbury, Sheard (1995) (Correct)
0.3: Monadic Programming - Monadic Programming Is (Correct)
0.2: Using Compact Data Representations for Languages Based on.. - Fegaras, Tolmach (1995) (Correct)
Related documents from co-citation: More All
8: Bananas in Space: Extending Fold and Unfold to Exponential Types - Meijer, Hutton - 1995
7: A fold for all seasons - Sheard, Fegaras - 1993
7: Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
BibTeX entry: (Update)
L. Fegaras and T. Sheard. Revisiting Catamorphisms over Datatypes with Embedded Functions. In 23rd ACM Symp. on Principles of Programming Languages, pages 284--294, 1996. http://citeseer.ist.psu.edu/fegaras96revisiting.html More
@incollection{ fegaras96revisiting,
author = "Leonidas Fegaras and Tim Sheard",
title = "Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space)",
booktitle = "Conf.\ Record 23rd {ACM} {SIGPLAN}/{SIGACT} Symp.\ on Principles of Programming Languages, {POPL}'96, St.~Petersburg Beach, {FL}, {USA}, 21--24 Jan.\ 1996",
publisher = "ACM Press",
address = "New York",
pages = "284--294",
year = "1996",
url = "citeseer.ist.psu.edu/fegaras96revisiting.html" }
Citations (may not include all citations):362 ML for the working programmer (context) - Paulson - 1991
210 Functional Programming with Bananas (context) - Meijer, Fokkinga et al. - 1991
131 A Fold for All Seasons - Sheard, Fegaras - 1993
95 Elements of Functional Programming (context) - Reade - 1989
55 Bananas in Space: Extending Fold and Unfold to Exponential T.. - Meijer, Hutton - 1995
42 Improving Programs which Recurse over Multiple Inductive Str.. - Fegaras, Sheard et al. - 1994
5 Seventh Conference on Functional Programming Languages and C.. (context) - Launchbury, Sheard - 1995
4 Control Structures from Types (context) - Paterson - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cse.ogi.edu/PacSoft/publications/bibliograph.html): More
Revisiting Catamorphisms over Datatypes with Embedded.. - Fegaras, Sheard (1996) (Correct)
Unboxed Values as First Class Citizens in a Non-Strict.. - Jones, Launchbury (1991) (Correct)
A Short Cut to Deforestation - Gill, Launchbury, Jones (1993) (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