Monday, 24 September 2012
Friday, 27 July 2012
Friday, 8 June 2012
This is the substantially revised and almost completely re-written (paper and implementation) version of our earlier draft.
Monday, 4 June 2012
The system has been implemented in Haskell and is applied in some real-world projects. Some of the Haskell source code will be made publicly available (later in the year).