Lava: Hardware Design in Haskell (1998)

Cached

Download Links

by Per Bjesse , Koen Claessen , Mary Sheeran
Citations:112 - 7 self

Documents Related by Co-Citation

34 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
247 LUSTRE: A declarative language for programming synchronous systems – P. Caspi, D. Pilaud, N. Halbwachs, J. A. Plaice - 1987
22 From transistors to computer architecture: Teaching functional circuit specification in hydra – John O'Donnell - 1995
43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
170 Traced monoidal categories – AndrĂ© Joyal, Ross Street, Domnic Verity - 1996
159 Generalising Monads to Arrows – John Hughes - 1998
14 System Synthesis Based on a Formal Computational Model and Skeletons – Ingo Sander, Ingo S, Axel Jantsch - 1999
18 HML, a novel hardware description language and its translation to VHDL – Y Li, M Leeser - 2000
16 Realtime Signal Processing – H J Reekie - 1995
245 A Framework for Comparing Models of Computation – Edward A. Lee, Alberto Sangiovanni-vincentelli - 1998
501 Sorting networks and their applications – K. E. Batcher - 1968
201 Functional Reactive Animation – Conal Elliott, Paul Hudak - 1997
45 Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi – Masahito Hasegawa - 1997
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
456 Comprehending Monads – Philip Wadler - 1992
133 Building Domain-Specific Embedded Languages – Paul Hudak - 1996
180 The next 700 programming languages – P J Landin - 1966
283 Why functional programming matters – John Hughes - 1989