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=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 DA473BBCA for ; Thu, 14 Feb 2008 10:08:36 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.25,351,1199660400"; d="scan'208";a="7301300" Received: from estephe.inria.fr (HELO [128.93.11.95]) ([128.93.11.95]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Feb 2008 10:08:36 +0100 Message-ID: <47B40514.3070906@inria.fr> Date: Thu, 14 Feb 2008 10:08:36 +0100 From: Xavier Leroy User-Agent: Thunderbird 1.5.0.7 (X11/20060915) MIME-Version: 1.0 To: Andrej.Bauer@andrej.com Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Formal specifications of programming languages References: <47B33548.1010001@fmf.uni-lj.si> <4a051d930802131027o6459e7e7i6d35d4eb6e186eea@mail.gmail.com> <47B348F6.6010607@fmf.uni-lj.si> In-Reply-To: <47B348F6.6010607@fmf.uni-lj.si> X-Enigmail-Version: 0.94.0.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; formalized:01 inference:01 semantics:01 wiki:01 caml-list:01 caml:02 checking:02 jacques:03 jacques:03 languages:03 programming:03 papers:06 papers:06 xavier:06 xavier:06 > Didn't Jacques say in a related post "Most of the type system is > formalized, but there is no single place to look at"? Jacques, does the > "type system" mean "type checking", "type inference", "operational > semantics", or what. Heck, I should just look up the papers. > > Maybe we should collect the relevant URLs and place them in the wiki. It > would be a start. I might do that. It's been done a long time ago: http://caml.inria.fr/about/papers.en.html - Xavier Leroy