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

Documents Related by Co-Citation

43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
113 Lava: Hardware Design in Haskell – Per Bjesse, Koen Claessen, Mary Sheeran - 1998
456 Comprehending Monads – Philip Wadler - 1992
1312 Monads for functional programming – Philip Wadler - 1995
23 Reactive Objects and Functional Programming – Johan Nordlander - 1999
730 Notions of Computation and Monads – Eugenio Moggi - 1991
170 Traced monoidal categories – André Joyal, Ross Street, Domnic Verity - 1996
159 Generalising Monads to Arrows – John Hughes - 1998
48 A new notation for arrows – Ross Paterson - 2001
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
11 Value Recursion in Monadic Computations – Levent Erkok - 2002
45 Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi – Masahito Hasegawa - 1997
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
97 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
3 A Recursive do for Haskell: Design and Implementation – Levent Erkok - 2000
50 Asynchronous Exceptions in Haskell – Simon Marlow, Simon Peyton Jones, Andrew Moran, John Reppy - 2006
21 Porting the Clean Object I/O Library to Haskell – Peter Achten, Simon Peyton Jones - 2000