A Recursive do for Haskell: Design and Implementation (2000)

Cached

Download Links

by Levent Erkok
Citations:3 - 3 self

Documents Related by Co-Citation

34 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
23 Reactive Objects and Functional Programming – Johan Nordlander - 1999
37 Report on the programming language haskell 98, a non-strict, purely functional language – Simon Peyton Jones, John Hughes - 1985
21 Porting the Clean Object I/O Library to Haskell – Peter Achten, Simon Peyton Jones - 2000
105 Functional Programming and Input/Output – Andrew D Gordon - 1993
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
4 Traced premonoidal categories (Extended Abstract – N BENTON, M HYLAND - 2002
3 An Exercise in Polytypic Program Derivation: repmin – Oege De Moor - 1996
2 Global variables in Haskell. Draft paper. URL: www.cs.chalmers.se/~rjmh/Globals.ps – J HUGHES
2 Users Gofer System) web page. URL: www. haskell.org/hugs – Hugs
6 Semantics of fixIO – Levent Erkök, John Launchbury, Andrew Moran - 2001
47 First-class Polymorphism with Type Inference – Mark P. Jones
51 Typing Haskell in Haskell – Mark P. Jones - 1999
23 Embedded Languages for Describing and Verifying Hardware – Koen Claessen - 2001
78 Using circular programs to eliminate multiple traversals of data – R S Bird - 1984
50 Asynchronous Exceptions in Haskell – Simon Marlow, Simon Peyton Jones, Andrew Moran, John Reppy - 2006
592 A Communicating and Mobile Systems: the π-Calculus – R Milner - 1999
1312 Monads for functional programming – Philip Wadler - 1995