More than "some work".  I talked with her at PEPM (right before POPL), 
and ESC/Haskell is very much alive, and very cool.  Details available at
http://www.cl.cam.ac.uk/~nx200/

ESC/Ocaml for the 'functional core' should be straightforward enough 
but, as usual, the imperative features make life considerably more complex.

Jacques

Alwyn Goodloe wrote:
> In a related note I believe a student at Cambridge University
> has done some work on ESC/Haskell that would support
> design by contract for Haskell. This leads one to believe that
> one could probably build a version of ESC for OCAML.
>
> Alwyn
>
>