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 q252PNS6030602
	for <caml-list@sympa-roc.inria.fr>; Mon, 5 Mar 2012 03:25:24 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtMBALkjVE/RVaA2kGdsb2JhbABDFoUerwkIIgEBAQEJCQ0HFAQjgX0BAQECAQESAg8dARsdAQMBCwYFCw8CJgICIgERAQUBHAY1h2AFC5snCosmTIJxhCg/iHQBBQuBJI4YgRYEiFCMbocbhxk9hCI
X-IronPort-AV: E=Sophos;i="4.73,531,1325458800"; 
   d="scan'208";a="134339600"
Received: from mail-pw0-f54.google.com ([209.85.160.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 05 Mar 2012 03:25:23 +0100
Received: by pbcwz17 with SMTP id wz17so2242295pbc.27
        for <caml-list@inria.fr>; Sun, 04 Mar 2012 18:25:21 -0800 (PST)
Received-SPF: pass (google.com: domain of milanst@gmail.com designates 10.68.228.199 as permitted sender) client-ip=10.68.228.199;
Authentication-Results: mr.google.com; spf=pass (google.com: domain of milanst@gmail.com designates 10.68.228.199 as permitted sender) smtp.mail=milanst@gmail.com; dkim=pass header.i=milanst@gmail.com
Received: from mr.google.com ([10.68.228.199])
        by 10.68.228.199 with SMTP id sk7mr13714760pbc.135.1330914321628 (num_hops = 1);
        Sun, 04 Mar 2012 18:25:21 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=3WkAJNoD+J3ScJajjyIiH8W/2xM12fmwyjKTuWROPKo=;
        b=Birm8CM6JwyhXcS0RQZZhjUzS/Vz5QyAyzp16cupNIDTLgM5rO79t0wtQWz2neSYHm
         hs36EMDctYG2YgmRB68mo7IoLcKwObgDoS8WvNU+QlAhelVCBqb6O1YbhgSNfE8ePARK
         EGs4VQ5RIzqzGGo3t99rpkFSPFoygSYp7nlWpO/aUJBHJidQK76ze/PuJiwlpjhRhex3
         zxVE87dx1sVSJn52SmjBPdmCm0BVyqd0kn7kdXEGggfP7wzX3YFnxBOie0zMhiKmNM0y
         NuQn9Jy0O4v4jYUisW8ZL0jJoI3apMkBQDCccioFqonbCol4+arAPXG0B2ernnKHo+zT
         cPVA==
MIME-Version: 1.0
Received: by 10.68.228.199 with SMTP id sk7mr12041239pbc.135.1330914321547;
 Sun, 04 Mar 2012 18:25:21 -0800 (PST)
Received: by 10.68.34.73 with HTTP; Sun, 4 Mar 2012 18:25:21 -0800 (PST)
In-Reply-To: <CALx9x4efvL92gkuBFdPndz6cNEXuRb8-rG++ng4xLOCrUVJrTA@mail.gmail.com>
References: <20120227143809.GC2778@siouxsie>
	<20120228134649.33962978@gmail.com>
	<CALx9x4efvL92gkuBFdPndz6cNEXuRb8-rG++ng4xLOCrUVJrTA@mail.gmail.com>
Date: Sun, 4 Mar 2012 21:25:21 -0500
Message-ID: <CAKR7PS-5jnXevx6uwJyy2bpgsk0kv=NLEPNjB1DdTAL4c5iH=Q@mail.gmail.com>
From: =?UTF-8?Q?Milan_Stanojevi=C4=87?= <milanst@gmail.com>
To: Abdallah Saffidine <abdallah.saffidine@gmail.com>
Cc: =?UTF-8?Q?AUGER_C=C3=A9dric?= <sedrikov@gmail.com>, caml-list@inria.fr
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] "Modules Matter Most"

> I guess you might be interested in the following article ML Modules and
> Haskell Type Classes: A Constructive Comparison

free version:
http://www.cse.unsw.edu.au/~chak/papers/modules-classes.pdf