Functional pearl: Unfolding pointer algorithms (2001)

by Richard S. Bird
Venue:Journal of Functional Programming
Citations:6 - 0 self

Documents Related by Co-Citation

57 Typing dynamic typing – Arthur I. Baars, S. Doaitse Swierstra - 2002
309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
469 Interactive theorem proving and program development: Coq’Art: The calculus of inductive constructions – Y Bertot, P Castéran - 2004
107 Intuitionistic Reasoning about Shared Mutable Data Structure – John C. Reynolds - 2000
54 Algorithmic Language and Program Development – F L Bauer, H Wössner - 1982
102 Proving pointer programs in Hoare Logic – Richard Bornat - 2000
75 Some techniques for proving correctness of programs which alter data structures – Rod Burstall - 1972
9 Calculational Derivation of Pointer Algorithms from Tree Operations – Michael Butler - 1998
257 Refinement Calculus: A Systematic Introduction – R-J Back, J von Wright - 1998
6 Declarative debugging with Buddha – B Pope - 2005
13 a Functional Operating System – K Nebula Karlsson - 1981
16 Compiling Exceptions Correctly – Graham Hutton, Joel Wright - 2004
7 The Essence of Multitasking – William L. Harrison - 2006
7 Functional Reactive Programming – Robots Arrows
21 Running the manual: An approach to high-assurance microkernel development – Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty - 2006
24 Testing Monadic Code with QuickCheck – Koen Claessen, John Hughes - 2002
24 PFL: A functional language for parallel programming – S Holmström - 1983
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002