Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Article | Conference or Workshop Item | Book Section
Number of items: 5.

Article

Hutton, Graham and Gibbons, Jeremy (2005) Proof Methods for Corecursive Programs. Fundamenta Informaticae Special Issue on Program Transformation, 66 (4). pp. 353-366.

Hutton, Graham and Gibbons, Jeremy (2001) The Generic Approximation Lemma. Information Processing Letters, 79 (4). pp. 197-201.

Conference or Workshop Item

Gibbons, Jeremy, Hutton, Graham and Altenkirch, Thorsten (2001) When is a function a fold or an unfold? In: Workshop on Coalgebraic Methods in Computer Science (4th), 6-7 April 2001, Genova, Italy.

Gibbons, Jeremy and Hutton, Graham (1999) Proof methods for structured corecursive programs. In: 1st Scottish Functional Programming Workshop, 29 Aug - 1 Sept 1999, Stirling, Scotland.

Book Section

Backhouse, Roland (2012) First-past-the-post games. In: Mathematics of program construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012: proceedings. Lecture notes in computer science (7342). Springer, Berlin, pp. 157-176. ISBN 9783642311130

This list was generated on Tue Apr 16 06:01:59 2024 UTC.