On embedding a microarchitectural design language within Haskell (1999)

Cached

Download Links

by John Launchbury , Jeffrey R. Lewis , Byron Cook
Venue:In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP ’99
Citations:34 - 4 self

Active Bibliography

Formal verification of explicitly parallel microarchitectures – Byron Cook, John Launchbury, John Matthews, D. Kieburtz - 1999
25 Specifying superscalar microprocessors in Hawk – Byron Cook, John Launchbury, John Matthews - 1998
26 An embedded modeling language approach to interactive 3D and multimedia animation – Conal Elliott - 1999
3 High-Level ABstractions for Low-Level Programming – Iavor Sotirov Diatchki - 2007
Statically-allocated languages for hardware stream processing (Extended Abstract) – Simon Frankau, Alan Mycroft, Simon Moore - 2002
43 Observable sharing for functional circuit description – Koen Claessen, David Sands - 1999
21 Frappé: Functional Reactive Programming in Java – Antony Courtney - 2001
26 Composing contracts: an adventure in financial engineering - Functional Pearl – Simon Peyton Jones, Jean-marc Eber, Julian Seward - 2000
12 How to Write a Financial Contract – S. L. Peyton Jones, J-M. Eber
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design – unknown authors
12 Overview of Hydra: A concurrent language for synchronous digital circuit design – John T. O’donnell - 2002
Domain-Specific Embedded Languages – Kevin Backhouse - 2002
3 Robust Scripting via Patterns – Bard Bloom, Martin Hirzel
48 A new notation for arrows – Ross Paterson - 2001
9 Causal commutative arrows and their optimization – Hai Liu, Eric Cheng, Paul Hudak - 2009
Causal commutative arrows – Hai Liu, Eric Cheng, Paul Hudak
2 An Embedded Language Approach to Teaching Hardware Compilation – Koen Claessen
113 Lava: Hardware Design in Haskell – Per Bjesse, Koen Claessen, Mary Sheeran - 1998
8 C -> HASKELL, or Yet Another Interfacing Tool – Manuel M.T. Chakravarty - 1999