English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Programming with correctness guarantees
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-02-06 (21:52)
From: Jacques Carette <carette@m...>
Subject: Re: [Caml-list] Design-by-contract and Type inference?
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

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


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