Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Functional programming, Glasgow 1994: proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 / > A Tutorial on Co-Induction and Functional Programming
Functional programming, Glasgow 1994: proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 / |
Hammond, Kevin.; Turner, David N.; Sansom, Patrick.
Springer-Verlag,
Functional programming, Glasgow 1994: proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 /
A Tutorial on Co-Induction and Functional Programming
Authors

A. D. Gordon

ARI Id

1675038129565_51611608

Access

Not Available Free

Table of Contents of Book
Showing 1 to 17 of 17 entries
Chapters/HeadingsAuthor(s)PagesInfo
Expression Refinement: Deriving Bresenham's Algorithm
A. Bunkenburg and S. Flynn
Dynamic Algebra for Calculating Algorithms
K. Clenaghan
On the Expressive Power of Constructor Classes
L. Duponcheel and E. Meijer
Programming Reactive Systems in Haskell
S. O. Finne and S. L. Peyton Jones
Techniques for Simplifying the Visualization of Graph Reduction
S. P. Foubister and C. Runciman
A Tutorial on Co-Induction and Functional Programming
A. D. Gordon
Unboxing Using Specialisation
C. V. Hall, S. L. Peyton Jones and P. M. Sansom
Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell
K. Hammond, H. W. Loidl and A. Partridge
Fold-Unfold Transformations on State Monadic Interpreters
T. Johnsson
Functional Binomial Queues
D. J. King
Mechanized Reasoning About Functional Programs
S. Mintchev
A Case Study in Parallel Program Derivation: The Heat Equation Algorithm
J. T. O'Donnell and G. Runger
Compilation by Transformation in the Glasgow Haskell Compiler
S. L. Peyton Jones and A. Santos
Experience of Developing a Cervical Cytology Scanning System Using Gofer and Haskell
I. Poole and D. Charleston
Binding-Time Improvement and Fold-Unfold Transformation
C. Runciman
Data Dependent Concurrency Control
P. W. Trinder
Type-Checked Message-Passing Between Functional Processes
M. Wallace and C. Runciman.
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 17 of 17 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings