Observable sharing for functional circuit description (1999)

Cached

Download Links

by Koen Claessen , David Sands
Venue:In Asian Computing Science Conference
Citations:43 - 3 self

Documents Related by Co-Citation

113 Lava: Hardware Design in Haskell – Per Bjesse, Koen Claessen, Mary Sheeran - 1998
32 Microprocessor Specification in Hawk – John Matthews, Byron Cook, John Launchbury - 1998
50 Synthesis of Digital Designs from Recursion Equations – Steven D Johnson - 1984
22 From transistors to computer architecture: Teaching functional circuit specification in hydra – John O'Donnell - 1995
17 Generating Netlists from Executable Circuit Specifications in a Pure Functional Language – John T. O'donnell - 1992
25 Specifying superscalar microprocessors in Hawk – Byron Cook, John Launchbury, John Matthews - 1998
81 Circuit design in Ruby – Geraint Jones, Mary Sheeran - 1990
159 Generalising Monads to Arrows – John Hughes - 1998
5 Leading-edge and future design challenges: Is the classical EDA ready – G Spirakis - 2003
25 A Reflective Functional Language for Hardware Design and Theorem Proving – Jim Grundy, Tom Melham, John O'leary - 2003
22 Functional Differentiation of Computer Programs – Jerzy Karczmarczuk - 1998
16 Type-Safe Observable Sharing in Haskell – A Gill - 2009
41 Compiling Embedded Languages – Conal Elliott, Sigbjørn Finne, Oege De Moor - 2000
28 Finally Tagless, Partially Evaluated -- Tagless Staged Interpreters for Simpler Typed Languages – Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
5 Regular, shape-polymorphic, parallel arrays in Haskell – Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton - 2010
19 Wired: Wire-aware circuit design – Emil Axelsson, Koen Claessen, Mary Sheeran - 2005
10 Building domain speci embedded languages – Paul Hudak - 1996
9 Disposable Memo Functions – Byron Cook, John Launchbury - 1997
9 Domain-speci c languages: an annotated bibliography – Arie van Deursen, Paul Klint, Joost Visser