Welcome!

Links

Live Demo
Source code (as described in the paper)
Haskell code for the Gangster application in which the monadic values are handled correctly.