Any help you can offer for my aching cranium will be _much_
appreciated.
You might also be interested in the paper Edwin Brady and Kevin
Hammond just submitted to ICFP:
http://www.cs.st-andrews.ac.uk/~eb/drafts/icfp08.pdf
It describes how to manage resources, in particular locks, in a
dependently-typed language. You didn't explicitly mention that it
needed to be in Haskell, so it might be worth having a look.
Best of luck,
Wouter
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
