108 citations found. Retrieving documents...
R. Bird. Introduction to Functional Programming using Haskell. Prentice-Hall, 2nd edition, 1998.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Relational Analysis of Algebraic Datatypes - Viktor Kuncak Massachusetts (2005)   (Correct)

No context found.

R. Bird. Introduction to Functional Programming using Haskell. Prentice-Hall, 2nd edition, 1998.


Streaming Representation-Changers - Gibbons (2004)   (Correct)

No context found.

Richard S. Bird. Introduction to Functional Programming Using Haskell.Prentice- Hall, 1998.


Metamorphisms: Streaming Representation-Changers - Gibbons (2005)   (Correct)

No context found.

R. S. Bird, Introduction to Functional Programming Using Haskell, PrenticeHall, 1998.


Proof Methods for Corecursive Programs - Gibbons, Hutton (2005)   (1 citation)  (Correct)

No context found.

Bird, R.: Introduction to Functional Programming using Haskell (second edition), Prentice Hall, 1998.


Relational Analysis of Algebraic Datatypes - Kuncak, Jackson (2005)   (Correct)

No context found.

R. Bird. Introduction to Functional Programming using Haskell. Prentice-Hall, Inc., 2nd edition, 1998.


On Relational Analysis of Algebraic Datatypes - Kuncak, Jackson   (Correct)

No context found.

Richard Bird. Introduction to Functional Programming using Haskell. Prentice-Hall, Inc., 2nd edition, 1998.


Proving and Disproving Termination of Higher-Order.. - Giesl, Thiemann.. (2005)   (Correct)

No context found.

R. Bird. Introduction to Functional Programming using Haskell. Prentice Hall, 1998.


Combining Effects: Sum and Tensor - Hyland, Plotkin, Power   (Correct)

No context found.

R. Bird, Introduction to Functional Programming Using Haskell, Prentice Hall, 1998.


Bidirectionalizing Tree Transformations - Zhenjiang Hu Kento   (Correct)

No context found.

Bird, R.: Introduction to Functional Programming using Haskell. Prentice Hall (1998)


Towards CNC Programming Using Haskell - Arroyo, Ochoa, Silva, Vidal (2004)   (Correct)

No context found.

R. Bird. Introduction to Functional Programming Using Haskell, 2nd Ed. Prentice Hall Press, 1998.


A New Parallel Skeleton for General Accumulative Computations - Iwasaki, Hu (2004)   (Correct)

No context found.

R. Bird, Introduction to Functional Programming using Haskell, Prentice-Hall, New York (1998).


Deterministic Second-order Patterns - Yokoyama, Hu, Takeichi (2004)   (Correct)

No context found.

R. Bird, Introduction to Functional Programming using Haskell (second edition), Prentice Hall, 1998.


Functional Programming Concepts and Straight-line.. - Bruno, Heintz.. (2003)   (Correct)

No context found.

R. Bird, Introduction to functional programming using Haskell, 2nd. edition, Prentice Hall, 1998.


Streaming Representation-Changers - Gibbons (2004)   (Correct)

No context found.

Richard S. Bird. Introduction to Functional Programming Using Haskell.Prentice- Hall, 1998.


Streaming Algorithms (Extended Abstract) - Gibbons   (Correct)

No context found.

Richard S. Bird. Introduction to Functional Programming Using Haskell. PrenticeHall, 1998.


A Programmable Editor for Developing Structured Documents.. - Hu, Mu, Takeichi (2004)   (1 citation)  (Correct)

No context found.

R.S. Bird. Introduction to Functional Programming using Haskell. Prentice Hall, 1998.


A Fusion-Embedded Skeleton Library - Matsuzaki, Kakehi, Iwasaki, Hu..   (Correct)

No context found.

Bird, R.: Introduction to Functional Programming using Haskell. Prentice Hall (1998)


Model Checking Object-Z Classes: - Some Experiments With (2001)   (Correct)

No context found.

R. Bird. Introduction to Functional Programming using Haskell. Prentice Hall, 1998.


Java as a Functional Programming Language - Anton Setzer Dept   (Correct)

No context found.

Richard Bird. Introduction to functional programming using Haskell. Pearson Education, Harlow, second edition, 1998.


M. Dowse, A. Butterfield, M. van Eekelen , M. de Mol , R.. - Nijmegen Institute For   (Correct)

No context found.

R. J. Bird. Introduction to Functional Programming using Haskell. Prentice-Hall Series in Computer Science. Prentice-Hall Europe, London, UK, second edition, 1998.


Deterministic Higher-order Patterns for Program Transformation - Yokoyama, Hu, Takeichi (2003)   (Correct)

No context found.

Bird, R.: Introduction to Functional Programming using Haskell (second edition). Prentice Hall (1998)


An Algebraic Interface for GETA Search Engine - Murakami, Hu, Nishioka..   (Correct)

No context found.

Richard Bird. Introduction to Functional Programming using Haskell (2nd edition). Prentice Hall, 1998.


An Efficient Staging Algorithm for Binding-Time Analysis - Murakami, Hu, Kakehi..   (Correct)

No context found.

Bird, R.: Introduction to Functional Programming using Haskell (2nd edition). Prentice Hall (1998)


An Application of Functional Programming: Quilting - Curtis   (Correct)

No context found.

R. S. Bird and P. Wadler. An Introduction to Functional Programming using Haskell. Prentice-Hall, 1998.


Theorem Proving for Functional Programmers - Sparkle Functional Theorem (2002)   (Correct)

No context found.

R. Bird. Introduction to Functional Programming using Haskell, second edition, Prentice Hall Europe, 1998, ISBN 0-13-484346-0.

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