An Algebra of Scans (2004)

Cached

Download Links

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

Documents Related by Co-Citation

23 Hardware Design and Functional Programming: a Perfect Match – M Sheeran
711 The Art of Computer Programming, Volume 3: Sorting and Searching – D E Knuth - 1998
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
370 Types, abstraction and parametric polymorphism – John C Reynolds - 1983
500 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
2474 The Design and Analysis of Computer Algorithms – A V Aho, J E Hopcroft, J D Ullman - 1974
3890 J.D.: Introduction to Automata Theory, Languages and Computation, 2nd edn – J E Hopcroft, R Motwani, Ullman - 2001
536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979
2976 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986