On embedding a microarchitectural design language within Haskell (1999)

View PDF

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:39 - 4 self

Documents Related by Co-Citation

124 Lava: Hardware Design in Haskell – Per Bjesse, Koen Claessen, Mary Sheeran - 1998
467 Comprehending Monads – Philip Wadler - 1992
43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
1353 Monads for functional programming – Philip Wadler - 1995
766 Notions of Computation and Monads – Eugenio Moggi - 1991
869 The semantics of a simple language for parallel programming – G Kahn - 1974
176 Generalising Monads to Arrows – John Hughes - 1998
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
604 Communicating and Mobile Systems: the π-calculus – R Milner - 1999