Compiling exceptions correctly

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

Volumn 3125, Issue , 2004, Pages 211-227

  Hutton, Graham ^a   Wright, Joel ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; PROGRAM COMPILERS;

FUNCTIONAL PROGRAMMING TECHNIQUE; IMPORTANT FEATURES;

FUNCTIONAL PROGRAMMING;

EID: 35048831392     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27764-4_12     Document Type: Article

References (17)

1. R. Backhouse. Program Construction: Calculating Implementations from Specifications. John Wiley, 2003.
2. K. Claessen and J. Hughes. QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, Montreal, Canada, Sept. 2000.
3. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification, Second Edition. Addison-Wesley, 2000.
4. W. Harrison. Modular Compilers and Their Correctness Proofs. PhD thesis, University of Illinois, 2001.
5. S. Marlow, S. Peyton Jones, A. Moran, and J. Reppy. Asynchronous Exceptions In Haskell. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Snowbird, Utah, June 2001.
6. C. McBride. Personal communication, 2003.
7. E. Meijer. Calculating Compilers. PhD thesis, Nijmegen University, 1992.
8. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
9. E. Moggi. An Abstract View of Programming Languages. Technical Report ECS-LFCS-90-113, Laboratory for Foundations of Computer Science, University of Edinburgh, 1990.
10. T. Nipkow. Personal communication, 2004.
11. S. Peyton Jones. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003.
12. S. Peyton Jones and J. Launchbury. State in Haskell. University of Glasgow, 1994.
13. S. Peyton Jones, A. Reid, T. Hoare, S. Marlow, and F. Henderson. A Semantics For Imprecise Exceptions. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Atlanta, Georgia, May 1999.
14. D. A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc., 1986.
15. M. Spivey. A Functional Theory of Exceptions. Science of Computer Programming, 14(1):25-43, 1990.
16. B. Stroustrup. The C++ Programming Language, Third Edition. Addison-Wesley, 1997.
17. P. Wadler. The Essence of Functional Programming. In Proc. Principles of Programming Languages, 1992.