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

112 Lava: Hardware Design in Haskell – Per Bjesse, Koen Claessen, Mary Sheeran - 1998
17 Generating Netlists from Executable Circuit Specifications in a Pure Functional Language – John T. O'donnell - 1992
31 Microprocessor Specification in Hawk – John Matthews, Byron Cook, John Launchbury - 1998
201 Functional Reactive Animation – Conal Elliott, Paul Hudak - 1997
22 From transistors to computer architecture: Teaching functional circuit specification in hydra – John O'Donnell - 1995
25 Specifying superscalar microprocessors in Hawk – Byron Cook, John Launchbury, John Matthews - 1998
81 Circuit design in Ruby – Geraint Jones, Mary Sheeran - 1990
48 Synthesis of Digital Designs from Recursion Equations – S D Johnson - 1984
159 Generalising Monads to Arrows – John Hughes - 1998
24 A Reflective Functional Language for Hardware Design and Theorem Proving РJim Grundy, Tom Melham, John O’Leary
22 Functional Differentiation of Computer Programs – Jerzy Karczmarczuk - 1998
16 Type-safe observable sharing in haskell – A Gill - 2009
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
13 Report on the programming language Haskell 98. http:/haskell.org – SL Peyton Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, K Hammond, R Hinze - 1999
27 Stretching the storage manager: weak pointers and stable names in Haskell – Simon Peyton Jones, Simon Marlow, Conal Elliott - 1999
70 Little Languages: Little Maintenance? – Arie Van Deursen, Paul Klint - 1998
52 Lazy Memo-functions – J Hughes - 1985