Applicative programming with effects

Journal of Functional Programming

Volumn 18, Issue 1, 2008, Pages 1-13

  Mcbride, Conor ^a   Paterson, Ross ^b  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

^b CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CATEGORICAL STRUCTURE; FUNCTORS; PROGRAMMING PATTERNS; TYPE CLASS;

FUNCTIONAL PROGRAMMING;

ABSTRACTING;

EID: 36749025106     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796807006326     Document Type: Article

References (13)

1. Baars, A., Löh, A. & Swierstra, S. D. (2004) Parsing permutation phrases. Journal of Functional Programming, 14(6), 635-646.
2. Barr, M. & Wells, C. (1984) Topases, Triples and Theories. Grundlehren der Mathematischen Wissenschaften, no. 278. New York: Springer, Chap. 9.
3. Coutts, D. (2002) Arrows for Errors: Extending the Error Monad. Unpublished presentation at the Summer School on Advanced Functional Programming.
4. Fridlender, D. & Indrika, M. (2000) Do we need dependent types? Journal of Functional Programming, 10(4), 409-415.
5. Hughes, J. (2000) Generalising monads to arrows. Science of Computer Programming, 37(1-3), 67-111.
6. Hutton, G. & Meijer, E. (1998) Monadic parsing in Haskell. Journal of Functional Programming, 8(4), 437-444.
7. Leijen, D. & Meijer, E. (1999) Domain specific embedded compilers. 2nd Conference on Domain-Specific Languages (DSL). USENIX, Austin, TX, USA.
8. Meertens, L. (1998) Functor pulling. Workshop on Generic Programming (WGP'98). Marstrand, Sweden: Chalmers University of Technology.
9. Peyton Jones, S. (ed). (2003) Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press.
10. Power, J. & Robinson, E. (1997) Premonoidal categories and notions of computation. Mathematical Structures in Computer Science, 7(5), 453-468.
11. Röjemo, N. (1995) Garbage Collection and Memory Efficiency in Lazy Functional Languages. Ph.D. thesis, Chalmers University of Technology and Göteborg University.
12. Swierstra, S. D. & Duponcheel, L. (1996) Deterministic, error-correcting combinator parsers. Pages 184-207 of: Launchbury, J., Meijer, E. & Sheard, T (eds), Advanced Functional Programming. LNCS, vol. 1129. Springer.
13. Wadler, P. (1985) How to replace failure by a list of successes. Pages 113-128 of: Jouannaud, J.-P. (ed), Functional Programming Languages and Computer Architecture. LNCS, vol. 201. Springer.