G. Malcolm. Data structures and program transformation. Science of Computer Programming, 14:255--279, 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Type-Indexed Data Types - Hinze, Jeuring, Löh (2001) (7 citations) (Correct)
Generic Haskell: applications - Hinze, Jeuring (2003) (2 citations) (Correct)
Calculation Carrying Programs - Hu, Takeichi (1999) (Correct)
Type-Indexed Data Types - Hinze, Jeuring, Loh (2002) (7 citations) (Correct)
Bottom-Up Grammar Analysis - A Functional Formulation - - Jeuring, Swierstra (1994) (3 citations) (Correct)
Functor Pulling - Meertens (1998) (1 citation) (Correct)
Generic Accumulations - Pardo (2002) (5 citations) (Correct)
Polytypic Functions Over Nested Datatypes - Hinze (1999) (7 citations) (Correct)
LPS: A Language Prototyping System Using Modular.. - Gayo, Díez.. (2001) (3 citations) (Correct)
Comprehending Queries - Grust (1999) (2 citations) (Correct)
Towards a Theory of Moa - Fokkinga (2000) (Correct)
Design Patterns as Higher-Order Datatype-Generic Programs - Gibbons (2006) (Correct)
Streaming Representation-Changers - Gibbons (2004) (Correct)
Metamorphisms: Streaming Representation-Changers - Gibbons (2005) (Correct)
Type-Indexed Data Types - Hinze, Jeuring, Löh (2001) (7 citations) (Correct)
Monadic Corecursion - Definition, Fusion Laws, and Applications - Pardo (1998) (Correct)
Streaming Representation-Changers - Gibbons (2004) (Correct)
Streaming Algorithms (Extended Abstract) - Gibbons (Correct)
Polytypic Abstraction in Type Theory - Pfeifer And Rue (Correct)
Type-Indexed Data Types - Hinze, Jeuring, Loh (2001) (7 citations) (Correct)
Towards a Theory of Moa - Proposal For Phd (Correct)
Recursion Patterns as Hylomorphisms - Cunha (2003) (Correct)
Type-Indexed Data Types - Hinze, Jeuring, Loh (2004) (7 citations) (Correct)
A Language Prototyping Tool Based on Semantic Building.. - Gayo, Lovelle, Diez.. (2001) (Correct)
Program Calculation Properties of Continuous Algebras - Fokkinga, Meijer (1991) (11 citations) Self-citation (Program) (Correct)
First 50 documents Next 50
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