Programming with arrows

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3622 LNCS, Issue , 2005, Pages 73-129

  Hughes, John ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33646030023     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11546382_2     Document Type: Conference Paper

References (27)

1. Nick Benton and Martin Hyland. Traced premonoidal categories. ITA, 37(4):273-299, 2003.
2. R. S. Bird. A calculus of functions for program derivation. In D. Turner, editor, Research Topics in Functional Programming. Addison-Wesley, 1990.
3. M. Carlsson and T. Hallgren. FUDGETS - A graphical user interface in a lazy functional language. In Proceedings of the ACM Conference on Functional Programming and Computer Architecture, Copenhagen, 1993. ACM.
4. Koen Claessen and John Hughes. Quickcheck: A lightweight tool for random testing of Haskell programs. In International Conference on Functional Programming (ICFP). ACM SIGPLAN, 2000.
5. Anthony Courtney and Conal Elliott. Genuinely functional user interfaces. In Haskell Workshop, pages 41-69, Firenze, Italy, 2001.
6. Antony Courtney, Henrik Nilsson, and Ross Paterson. Arrows: A general interface to computation, http://www.haskell.org/arrows/.
7. Joe English. Hxml. http://www.flightlab.com/~joe/hxml/.
8. Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson. Arrows, robots, and functional reactive programming. In Summer School on Advanced Functional Programming 2002, Oxford University, volume 2638 of Lecture Notes in Computer Science, pages 159-187. Springer-Verlag, 2003.
9. J. Hughes. Restricted Datatypes in Haskell. In Third Haskell Workshop. Utrecht University technical report, 1999.
10. John Hughes. Generalising monads to arrows. Science of Computer Programming, 37(1-3):67-111, 2000.
11. Patrik Jansson and Johan Jeuring. Polytypic data conversion programs. Science of Computer Programming, 43(1):35-75, 2002.
12. John Launchbury, Jeffrey R. Lewis, and Byron Cook. On embedding a microarchitectural design language within Haskell. In ICFP, pages 60-69, Paris, 1999. ACM Press.
13. Sheng Liang, Paul Hudak, and Mark P. Jones. Monad transformers and modular interpreters. In Symposium on Principles of Programming Languages, San Francisco, January 1995. ACM SIGPLAN-SIGACT.
14. Eugenic Moggi. Computational lambda-calculus and monads. In Proceedings 4th Annual IEEE Symp. onLogicin Computer Science, LICS'89, Pacific Grove, CA, USA, 5-8 June 1989, pages 14-23. IEEE Computer Society Press, Washington, DC, 1989.
15. M. Sheeran P. Bjesse, K. Claessen and S. Singh. Lava: Hardware design in Haskell. In ICFP. ACM Press, 1998.
16. Ross Paterson. Arrow transformer library, http://www.haskell.org/arrows/ download.html.
17. Ross Paterson. A new notation for arrows. In ICFP, Firenze, Italy, 2001. ACM.
18. Ross Paterson. Arrows and computation. In Jeremy Gibbons and Oege De Moor, editors, The Fun of Programming. Palgrave, 2003.
19. Rinus Plasmijer Peter Achten, Marko van Eekelen. Arrows for generic graphical editor components. Technical Report NIII-R0416, Nijmegen Institute for Computing and Information Sciences, University of Nijmegen, 2004.
20. Simon Peyton-Jones, Geoffrey Washburn, and Stephanie Weirich. Wobbly types: type inference for generalised algebraic data types, http://research. microsoft.com/Users/simonpj/papers/gadt/index.htm, July 2004.
21. Benjamin C. Pierce. Basic Category Theory for Computer Scientists. MIT Press, 1991.
22. John Power and Edmund Robinson. Premonoidal categories and notions of computation. Mathematical Structures in Computer Science, 7(5):453-468, 1997.
23. John Power and Hayo Thielecke. Closed Freyd- and κ-categories. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, editors, Proceedings 26th Int. Coll. on Automata, Languages and Programming, ICALP'99, Prague, Czech Rep., 11-15 July 1999, volume 1644, pages 625-634. Springer-Verlag, Berlin, 1999.
24. D. S. Swierstra and L. Duponcheel. Deterministic, error-correcting combinator parsers. In John Launchbury, Erik Meijer, and Tim Sheard, editors, Advanced Functional Programming, volume 1129 of Lecture Notes in Computer Science, pages 184-207. Springer, 1996.
25. Peter Thiemann. WASH/CGI: Server-side web scripting with sessions and typed, compositional forms. In Practical Aspects of Declarative Languages, pages 192-208, 2002.
26. P. L. Wadler. Comprehending monads. In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice, pages 61-78, New York, NY, 1990. ACM.
27. Malcolm Wallace and Colin Runciman. Haskell and XML: Generic combinators or type-based translation? In International Conference on Functional Programming, pages 148-159. ACM Press, 1999.