New paper

“Lem: reusable engineering of real world semantics”, joint work with Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge and Peter Sewell”.

To appear at the International Conference on Functional Programming (ICFP) 2014.