[Caml-list] Paper on asynchronous exceptions

Showing 1-1 of 1 messages
[Caml-list] Paper on asynchronous exceptions Daniel Bünzli 9/13/07 12:23 PM

For the sake of completeness. After the discussion on thread  
cancellation a friend of mine pointed me to this [1] paper. It  
describes the design, semantics and implementation of a raise_in  
operation in Haskell.

The paper does a good job in describing the problems of this  
operation. It also shows how to solve them by introducing two  
combinators to unconditionally block or unblock asynchronous  
exceptions in a given scope.



  author = {Simon Marlow and Simon Peyton Jones and Andrew Moran and  
John Reppy},
  title = {Asynchronous exceptions in Haskell},
  booktitle = {PLDI '01: Proceedings of the ACM SIGPLAN 2001  
conference on Programming language design and implementation},
  year = {2001},
  isbn = {1-58113-414-2},
  pages = {274--285},
  location = {Snowbird, Utah, United States},
  doi = {http://doi.acm.org/10.1145/378795.378858},
  publisher = {ACM Press},
  address = {New York, NY, USA},

Caml-list mailing list. Subscription management:
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs