From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q37FExsH006945
	for <caml-list@sympa-roc.inria.fr>; Sat, 7 Apr 2012 17:14:59 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsIDAJVZgE/AbSoIYmdsb2JhbABFhWazOhgiIwcjgjN6EQImAhYYiFIEmG6OMpI+E4EcjAeCDDVjBI4Gh2WTIA
X-IronPort-AV: E=Sophos;i="4.75,385,1330902000"; 
   d="scan'208";a="153126119"
Received: from einhorn.in-berlin.de ([192.109.42.8])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 07 Apr 2012 17:14:53 +0200
X-Envelope-From: oliver@first.in-berlin.de
X-Envelope-To: <caml-list@inria.fr>
Received: from first (e178012224.adsl.alicedsl.de [85.178.12.224])
	(authenticated bits=0)
	by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id q37FEq02014954
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT)
	for <caml-list@inria.fr>; Sat, 7 Apr 2012 17:14:52 +0200
Received: by first (Postfix, from userid 1000)
	id 64BC41540144; Sat,  7 Apr 2012 17:14:52 +0200 (CEST)
Date: Sat, 7 Apr 2012 17:14:52 +0200
From: oliver <oliver@first.in-berlin.de>
To: caml-list@inria.fr
Message-ID: <20120407151452.GA12887@siouxsie>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
User-Agent: Mutt/1.5.20 (2009-06-14)
X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8
Subject: [Caml-list] Articles on using types for enhancing sw-quality?

Hello,

do you know of articles (or books?) that describe
the usage of types for enhancing software quality
by coding the software invariants as types?

(And if possible, for example enforce certain operations
 on such values, maybe also encoded as types?)

I remember an interesting talk from Yaron Minsky
on that topic.
But this rather was an explanation on
why OCaml and other strongly typed languages are
very useful to ensure software integrity by the 
type system. There were examples, but not completely
going too much into depth there.

I would like to explore this more thoroughly and look
for articles / books (or other videos), that explain
the design technique in more depth.

So, if you know of something regarding this topic,
please let me know.

Ciao,
   Oliver