Marinus J. Plasmeijer, Peter Achten, Pieter W. M. Koopman. iTasks: executable specifications of interactive work flow systems for the web. In Ralf Hinze, Norman Ramsey, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007. pages 141-152, ACM, 2007. [doi]
Abstract is missing.