From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <tom.primozic@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.0 required=5.0 tests=HTML_00_10,HTML_MESSAGE,
	SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id C8A1DBC0A
	for <caml-list@yquem.inria.fr>; Wed, 20 Dec 2006 22:53:31 +0100 (CET)
Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.168])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBKLrVw4004327
	for <caml-list@inria.fr>; Wed, 20 Dec 2006 22:53:31 +0100
Received: by ug-out-1314.google.com with SMTP id k3so2097445ugf
        for <caml-list@inria.fr>; Wed, 20 Dec 2006 13:53:31 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:to:subject:mime-version:content-type;
        b=rkrVkzOxk1FrIH2SH/BU1eaATLLQKR1ne8vPD21s+3rWb3BL18Lk5e4GWkIIOkDw/GAtfg28i0rAsbV2eiMcb8z3e4MMYNBpDs5wsdLf8lh8wNu9i7BbXAyr4j8hQ8xppGEOPSEZmI//fQjztw1nolATpADe1VrSEl26XHiMJyA=
Received: by 10.82.153.5 with SMTP id a5mr1818431bue.1166651610887;
        Wed, 20 Dec 2006 13:53:30 -0800 (PST)
Received: by 10.82.100.16 with HTTP; Wed, 20 Dec 2006 13:53:30 -0800 (PST)
Message-ID: <c1490a380612201353ib8e04eem44e82b01faf1be14@mail.gmail.com>
Date: Wed, 20 Dec 2006 22:53:30 +0100
From: Tom <tom.primozic@gmail.com>
To: caml-list <caml-list@inria.fr>
Subject: What is "principal typing"?
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_36877_17956022.1166651610870"
X-j-chkmail-Score: MSGID : 4589B0DB.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 4589B0DB.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; inference:01 inference:01 typing:01 typing:01 mathematics:06 mathematics:06 somebody:08 somebody:08 useful:08 useful:08 theory:09 theory:09 supposedly:12 supposedly:12 systems:12 
X-Attachments: cset="UTF-8" cset="UTF-8" 

------=_Part_36877_17956022.1166651610870
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

Now, this may sound a stupid question, but I am no guru of mathematics and
type theory... Could somebody point me to some documents explaining what the
principal typing is and why is it useful? (Supposedly, this is some property
that type inference systems should have...)

- Tom

------=_Part_36877_17956022.1166651610870
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

Now, this may sound a stupid question, but I am no guru of mathematics and type theory... Could somebody point me to some documents explaining what the principal typing is and why is it useful? (Supposedly, this is some property that type inference systems should have...)
<br><br>- Tom<br>

------=_Part_36877_17956022.1166651610870--