[Haskell-cafe] Role based access control via monads or arrows or... something

Wouter Swierstra wss at cs.nott.ac.uk
Sun Apr 6 05:41:45 EDT 2008

> 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:


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,


More information about the Haskell-Cafe mailing list