Beauty in the beast: A functional semantics for the awkward squad

Haskell'07: Proceedings of the ACM SIGPLAN 2007 Haskell Workshop

Volumn , Issue , 2007, Pages 25-36

  Swierstra, Wouter ^a   Altenkirch, Thorsten ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

Experimentation; Languages; Reliability; Theory; Verification

Indexed keywords

AWKWARD SQUAD; CONCURRENT PROGRAMS; MUTABLE STATE;

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; PROBLEM SOLVING; PROGRAM DEBUGGING;

SEMANTICS;

EID: 38849201650     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1291201.1291206     Document Type: Conference Paper

References (33)

1. Arthur I. Baars and S. Doaitse Swierstra. Typing Dynamic Typing. In ICFP '02: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming, 2002.
2. Yves Bertot and Pierre Castéran. Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. Springer Verlag, 2004.
3. Richard Bird. Functional Pearl: Unfolding pointer algorithms. Journal of Functional Programming, 11(3):347-358, 2001.
4. Richard Bird and Philip Wadler. An Introduction to Functional Programming. Prentice Hall, 1988.
5. James Cheney and Ralf Hinze. A Lightweight Implementation of Generics and Dynamics. In Manuel Chakravarty, editor, Proceedings of the 2002 ACM SIGPLAN Haskell Workshop, pages 90-104. ACMPress, October 2002.
6. Koen Claessen. A Poor Man's Concurrency Monad. In Journal of Functional Programming, volume 9, pages 313-323. Cambridge University Press, May 1999.
7. Koen Claessen and John Hughes. QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. In ICFP '00: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, 2000.
8. Koen Claessen and John Hughes. Testing Monadic Code with QuickCheck. In Proceedings of the 2002 ACM SIGPLAN Haskell Workshop, 2002.
9. Nils Anders Danielsson, John Hughes, Patrik Jansson, and Jeremy Gibbons. Fast and Loose Reasoning is Morally Correct. In Conference record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 206-217, 2006.
10. Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, and Manuel M. T. Chakravarty. Running the manual: an approach to highassurance microkernel development. In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, 2006.
11. Neil Ghani, Peter Hancock, and Dirk Pattinson. Continuous Functions on. Final Coalgebras. Electronic Notes in Theoretical Computer-Science, 164(1):141-155, 2006.
12. Andy Gill. Debugging Haskell by Observing Intermediate Data Structures. In Proceedings of the 4th Haskell Workshop, 2000.
13. Andrew D. Gordon. Functional Programming and Input/Output. PhD thesis, University of Cambridge, 1992.
14. Tim. Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy. Composable Memory Transactions. In Proceedings of the tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 48-60, 2005.
15. William L. Harrison. The Essence of Multitasking. In Michael Johnson and Varmo Vene, editors, Proceedings of the 11th International Conference on Algebraic Methodology and Software Technology, volume 40.19 of Lecture Notes in Computer Science, pages 158-172. Springer, 2006.
16. Sören Holmström. PFL: A Functional Language for Parallel Programming. In Declarative Programming Workshop, pages 114-139, 1983.
17. Paul Hudak, Antony Courtney, Henrik Nilsson, and John. Peterson. Arrows, Robots, and Functional Reactive Programming. In Summer-School on Advanced Functional Programming, volume 2638 of Lecture Notes in Computer Science, pages 159-187. Springer, 2003.
18. Graham Hutton and Joel Wright. Compiling Exceptions Correctly. In Proceedings of the 7th International Conference on Mathematics of Program Construction, volume 3125 of Lecture Notes in Computer Science. Springer, 2004.
19. Kent Karlsson. Nebula: A Functional Operating System. Technical report, Chalmers University of Technology, 1981.
20. David J. King and Philip Wadler. Combining monads. In John Launchbury and Patrick M. Sansom, editors, Proceedings of the Glasgow Workshop on Functional Programming, pages 134-143, Glasgow, 1992. Springer.
21. Sheng Liang, Paul Hudak, and Mark Jones. Monad transformers and modular interpreters. In Conference record of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 333-343, 1995.
22. Christoph Lüth and Neil Ghani. Composing Monads Using Coproducts. In Proceedings of the 7th ACM SIGPLAN International Conference on Functional Programming, 2002.
23. Conor McBride and James McKinna. The view from the left. Journal of Functional Progmmming, 14(1):69-111, 2004.
24. James McKinna and Joel Wright. A type-correct, stack-safe, provably correct, expression compiler in Epigram. Submitted to the Journal of Functional Programming, 2006.
25. Aleksandar Nanevski and Greg Morrisett. Dependent type theory of stateful higher-order functions. Technical Report TR-24-05, Harvard University, 2005.
26. Aleksandar Nanevski, Greg Morrisett, and Lars Birkedal. Polymorphism, and separation in hoare type theory. In Proceedings of th Eleventh ACM SIGPLAN Internation Confer-ence on Functional Programming, 2006.
27. Ulf Norell. Agda II. Available online.
28. Simon Peyton Jones. Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. In Engineering theories of software construction, 2002.
29. Simon Peyton Jones, editor. Haskell 98 Language and Libraries -The Revised Report. Cambridge University Press, 2003.
30. Simon Peyton Jones. Wearing the hair shirt: a retrospective on. Haskell. Invited talk at the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003.
31. Simon L. Peyton Jones and Philip Wadler. Imperative functional programming. In Conference record of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993.
32. Bernard Pope. Declarative debugging with Buddha. In Summer School on Advanced Functional Programming, volume 3622 of Lecture Notes in Computer Science, pages 273-308. Springer, 2005.
33. D. A. Turner. Total functional programming. Journal of Universal Computer Science, 10(7):75.1-768, 2004.