From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q389kfud024259
	for <caml-list@sympa-roc.inria.fr>; Sun, 8 Apr 2012 11:46:41 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AksCADxdgU9KN1ZKm2dsb2JhbABDhXOzYQEBAQEBCAkLCRQnggkBAQQBI1YFCwsaAhgOAgI9ChAGG4gBBQQHq3+KHIEvjhM1YwSbS41A
X-IronPort-AV: E=Sophos;i="4.75,388,1330902000"; 
   d="scan'208";a="139483063"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Apr 2012 11:46:35 +0200
Received: from heyho.local (9-234.197-178.cust.bluewin.ch [178.197.234.9])
	by smtp.webfaction.com (Postfix) with ESMTP id 98C7626ED5F5;
	Sun,  8 Apr 2012 04:46:29 -0500 (CDT)
Date: Sun, 8 Apr 2012 11:46:03 +0200
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: oliver <oliver@first.in-berlin.de>
Cc: caml-list@inria.fr
Message-ID: <FDAA41095AE2407D82610170BE57BADF@erratique.ch>
In-Reply-To: <20120407151452.GA12887@siouxsie>
References: <20120407151452.GA12887@siouxsie>
X-Mailer: sparrow 1.5 (build 1043.1)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q389kfud024259
Subject: Re: [Caml-list] Articles on using types for enhancing
 sw-quality?



Le samedi, 7 avril 2012 à 17:14, oliver a écrit :

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


The following paper shows how parametric polymorphism can be used to encode a finite subtyping hierarchy.
  

http://dx.doi.org/10.1017/S0956796806006046
http://www.cs.cornell.edu/people/fluet/research/phantom-subtyping/

Best,

Daniel