An Algebra of Scans (2004)

Cached

Download Links

by Ralf Hinze
Venue:In Mathematics of Program Construction
Citations:7 - 0 self

Documents Related by Co-Citation

21 Hardware design and functional programming: a perfect match – M Sheeran - 2005
95 Prefix Sums and Their Applications – Guy E. Blelloch
7 A new approach to constructing optimal parallel prefix circuits with small depth – Y C Lin, J W Hsiao - 2004
6 Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular – Mary Sheeran - 2003
273 Parallel Prefix Computation – Richard E. Ladner, Michael, J. Fischer - 1980
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
37 Conditional-sum addition logic – J Sklansky - 1960
81 Circuit design in Ruby – Geraint Jones, Mary Sheeran - 1990
13 The Design and Verification of a Sorter Core – Koen Claessen, Mary Sheeran, Satnam Singh - 2001
2 ado about two. Formal proof development – Much
2 Verifying Haskell programs by combining testing, model checking and interactive theorem proving – In Haskell Workshop, Proceedings - 1999
3 Searching for prefix networks to fit in a context using a lazy functional programming language. Talk at Hardware Design and Functional Languages – M Sheeran - 2007
5 The Redundant Cell Adder – T Lynch, E E Swartzlander - 1991
5 Free Theorems for Sublanguages of Haskell РS Böhme - 2007
37 A Family of Adders – Simon Knowles - 1999
24 Fast and Loose Reasoning is Morally Correct – Nils Anders Danielsson, Nils Anders, Danielsson John Hughes, Patrik Jansson - 2006
21 Proof Methods for Corecursive Programs – Jeremy Gibbons, Graham Hutton - 1999
4 Formalising bitonic sort in type theory – Ana Bove, Thierry Coquand
724 M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, Wenzel - 2002