From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 262BCBC69 for ; Tue, 11 Sep 2007 02:30:04 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGZ+5UbAXQImn2dsb2JhbACOGwEBAQEHBAYHCBg X-IronPort-AV: E=Sophos;i="4.20,234,1186351200"; d="scan'208";a="1027369" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Sep 2007 02:30:07 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8B0U48I028217 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 11 Sep 2007 02:30:05 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAN5+5UZFEXUGnmdsb2JhbACOGwEBAQEHBAYPGA X-IronPort-AV: E=Sophos;i="4.20,234,1186351200"; d="scan'208";a="572141" Received: from mail4.sea5.speakeasy.net ([69.17.117.6]) by mail1-smtp-roc.national.inria.fr with ESMTP; 11 Sep 2007 02:30:01 +0200 Received: (qmail 18335 invoked from network); 11 Sep 2007 00:30:00 -0000 Received: from shell2.sea5.speakeasy.net ([69.17.116.3]) (envelope-sender ) by mail4.sea5.speakeasy.net (qmail-ldap-1.03) with AES256-SHA encrypted SMTP for ; 11 Sep 2007 00:30:00 -0000 Date: Mon, 10 Sep 2007 17:29:59 -0700 (PDT) From: brogoff To: Jonathan Bryant Cc: Caml List Subject: Re: [Caml-list] Basic Polymorphic Typechecking In-Reply-To: <2BC1FC8A-1087-473B-99AB-E3EB6FBA5E1E@valdosta.edu> Message-ID: References: <2BC1FC8A-1087-473B-99AB-E3EB6FBA5E1E@valdosta.edu> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at discorde with ID 46E5E18C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; cardelli:01 inference:01 haskell:01 appsem:01 inference:01 ocaml:01 2007,:98 polymorphic:01 wrote:01 typechecking:01 speakeasy:01 caml-list:01 caml-list:01 remy:01 caml:02 On Mon, 10 Sep 2007, Jonathan Bryant wrote: > Caml-list, > > Does anybody know of/have a link to/copy of an implementation of the > type system in the Cardelli paper (http://www.lucacardelli.name/ > Papers/BasicTypechecking.pdf) or an equally basic type inference > implementation in Caml/ML/Haskell? http://pauillac.inria.fr/~remy/cours/appsem/ocaml-ml.html has a some type inference code for core Caml, in OCaml. You should be able to snip the code from the web page. -- Brian