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 q39Hi318032521 for ; Mon, 9 Apr 2012 19:44:03 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnQDAJIeg0/AbSoIYmdsb2JhbABEhWazPxgiIwcjggkBAQUjVhALCQ8CAiYCAhQYMSeHegSnEpJ5E4EcjhM1YwSOBodlkyA X-IronPort-AV: E=Sophos;i="4.75,393,1330902000"; d="scan'208";a="153277905" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Apr 2012 19:43:58 +0200 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178007235.adsl.alicedsl.de [85.178.7.235]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id q39HhudB030964 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Mon, 9 Apr 2012 19:43:57 +0200 Received: by first (Postfix, from userid 1000) id C02E51540144; Mon, 9 Apr 2012 19:43:56 +0200 (CEST) Date: Mon, 9 Apr 2012 19:43:56 +0200 From: oliver To: Gabriel Scherer Cc: caml-list@inria.fr Message-ID: <20120409174356.GE28310@siouxsie> References: <20120407151452.GA12887@siouxsie> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] Articles on using types for enhancing sw-quality? On Sat, Apr 07, 2012 at 06:45:26PM +0200, Gabriel Scherer wrote: > In the ML-type-system community, enforcing invariant through typing > has mostly been discussed, as far as I'm aware, informally, and is > part of the language communities folklore. There have been > publications centered on the use of richer features (than the base ML [...] Thank you for the many links. Thats much more than I expected to be there. :-) Ciao, Oliver