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

Active Bibliography

40 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999
Under consideration for publication in J. Functional Programming 1 Lazy modules – Keiko Nakata - 2009
5 On generic context lemmas for lambda calculi with sharing – Manfred Schmidt-Schauß, David Sabel - 2008
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
12 Purely Functional Lazy Non-deterministic Programming – Sebastian Fischer, Chung-chieh Shan
2 An Embedded Language Approach to Teaching Hardware Compilation – Koen Claessen
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
1 Functional Netlists – Sungwoo Park , et al. - 2008
A calculus for hardware description� – Sungwoo Park, Hyeonseung Im
Statically-allocated languages for hardware stream processing (Extended Abstract) – Simon Frankau, Alan Mycroft, Simon Moore - 2002
34 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
18 A Foundation for Space-Safe Transformations of Call-by-Need Programs – Jörgen Gustavsson , David Sands - 1999
6 Possibilities and limitations of call-by-need space improvement – Jörgen Gustavsson - 2001
An Embedded Geometrical Language in Haskell: Construction, Visualisation, Proof – Maria Grima, Gordon J. Pace
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
10 Witnessing side-effects – Tachio Terauchi, Alex Aiken - 2005
97 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001