A recursive do for Haskell

Proceedings of the 2002 ACM SIGPLAN Haskell Workshop

Volumn , Issue , 2002, Pages 29-37

  Erkök, Levent ^a   Launchbury, John ^a  

^a NONE

Author keywords

Do notation; Haskell; Monads; Value recursion

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; MATHEMATICAL OPERATORS; RECURSIVE FUNCTIONS; SPECIFICATIONS;

VALUE RECURSION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036983263     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/581690.581693     Document Type: Conference Paper

References (20)

1. BENTON, N., AND HYLAND, M. Traced premonoidal categories (Extended Abstract). In Fixed Points in Computer Science Workshop, FICS'02 (2002).
2. BIRD, R. S. Using circular programs to eliminate multiple traversals of data. Acta Informatica 21 (1984), 239-250.
3. CLAESSEN, K. Embedded languages for describing and verifying hardware. PhD thesis, Chalmers University of Technology, Göteborg, Sweden, 2001.
4. DE MOOR, O. An exercise in polytypic program derivation: repmin. Unpublished manuscript. URL: web.comlab.ox. ac.uk/oucl/work/oege.demoor/pubs.htm, 1996.
5. ERKÖK, L. Value recursion in monadic computations. PhD thesis, OGI School of Science and Engineering, OHSU, Portland, Oregon, 2002.
6. ERKÖK, L., AND LAUNCHBURY, J. A recursive do for Haskell: Design and implementation. Tech. Rep. CSE-00-014, Oregon Graduate Institute School of Science and Engineering, Department of CSE, OHSU, August 2000.
7. ERKÖK, L., AND LAUNCHBURY, J. Recursive monadic bindings. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP'00 (September 2000), ACM Press, pp. 174-185.
8. ERKÖK, L., LAUNCHBURY, J., AND MORAN, A. Semantics of fixIO. In Fixed Points in Computer Science Workshop, FICS'01 (September 2001).
9. GHC web page. URL: www.haskell.org/ghc.
10. HUGHES, J. Global variables in Haskell. Draft paper. URL: www.cs.chalmers.se/̃rjmh/Globals.ps.
11. Hugs (Haskell Users Gofer System) web page. URL: www.haskell.org/hugs.
12. JONES, M. P. First-class polymorphism with type inference. In Proceedings of the Twenty Fourth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97) (1997).
13. JONES, M. P. Typing Haskell in Haskell. In Proceedings of the 1999 Haskell Workshop (1999).
14. LAUNCHBURY, J., LEWIS, J., AND COOK, B. On embedding a microarchitectural design language within Haskell. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '99) (1999), pp. 60-69.
15. MATTHEWS, J., COOK, B., AND LAUNCHBURY, J. Microprocessor specification in Hawk. In Proceedings of the 1998 International Conference on Computer Languages (1998), IEEE Computer Society Press, pp. 90-101.
16. NORDLANDER, J. Reactive Objects and Functional Programming. PhD thesis, Chalmers University of Technology, Göteborg, Sweden, 1999.
17. PATERSON, R. A new notation for arrows. In Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming, ICFP'01, Florence, Italy (September 2001), ACM Press, pp. 229-240.
18. PEYTON JONES, S. L., AND HUGHES, J. (Editors.) Report on the programming language Haskell 98, a non-strict purely-functional programming language. URL: www.haskell. org/onlineroport, Feb. 1999.
19. Recursive monadic bindings web page. URL: www.cse.ogi. edu/PacSoft/projects/rmb.
20. WRIGHT, A. K. Simple imperative polymorphism. Lisp and Symbolic Computation 8, 4 (1995), 343-355.