|
12
|
Proof Methods for Structured Corecursive Programs
– Jeremy Gibbons, Graham Hutton
- 1999
|
|
10
|
The Generic Approximation Lemma
– Graham Hutton, Jeremy Gibbons
- 2001
|
|
|
External Examiner
– Weng Kin Ho, Dr. Martín Escardó
- 2006
|
|
2
|
An operational domain-theoretic treatment of recursive types
– Weng Kin Ho
- 2006
|
|
19
|
Fast and Loose Reasoning is Morally Correct
– Nils Anders Danielsson, Nils Anders, Danielsson John Hughes, Patrik Jansson
- 2006
|
|
|
Adjoint Folds and Unfolds Or: Scything Through the Thicket of Morphisms
– Ralf Hinze
|
|
119
|
An introduction to substructural logics
– Greg Restall
- 2000
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
|
A Framework for Refining Functional Specifications into Parallel Reconfigurable Hardware Implementations
– John Hawkins
- 2005
|
|
13
|
Polytypic Programming With Ease
– Ralf Hinze
- 1999
|
|
3
|
Streaming Representation-Changers
– Jeremy Gibbons
- 2004
|
|
1
|
Ideal stream algebra
– Bernhard Möller
- 1998
|
|
24
|
A Tutorial on Co-induction and Functional Programming
– Andrew D. Gordon
- 1994
|
|
13
|
A calculus of circular proofs and its categorical semantics
– Luigi Santocanale
- 2002
|
|
1
|
Program fusion with paramorphisms
– Facundo Domínguez, Alberto Pardo
- 2006
|
|
3
|
Beating the Productivity Checker Using Embedded Languages
– Nils Anders Danielsson
|
|
|
Hardware Verification Using . . .
– Paul S. Miner
- 1998
|
|
29
|
On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces
– Daniele Turi, Jan Rutten
- 1998
|
|
10
|
A Coalgebraic Foundation for Linear Time Semantics
– John Power, Daniele Turi
- 1999
|
