From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id E1155BC88 for ; Thu, 3 Feb 2005 21:53:49 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j13KrnlA001299 for ; Thu, 3 Feb 2005 21:53:49 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA23626 for ; Thu, 3 Feb 2005 21:53:49 +0100 (MET) Received: from mta13-winn.mailhost.ntl.com (smtpout19.mailhost.ntl.com [212.250.162.19]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j13KrmTX001293 for ; Thu, 3 Feb 2005 21:53:48 +0100 Received: from aamta03-winn.mailhost.ntl.com ([212.250.162.8]) by mta13-winn.mailhost.ntl.com with ESMTP id <20050203205348.DATN11211.mta13-winn.mailhost.ntl.com@aamta03-winn.mailhost.ntl.com>; Thu, 3 Feb 2005 20:53:48 +0000 Received: from [80.4.70.84] by aamta03-winn.mailhost.ntl.com with ESMTP id <20050203205348.QFOB9818.aamta03-winn.mailhost.ntl.com@[80.4.70.84]>; Thu, 3 Feb 2005 20:53:48 +0000 Message-ID: <42028F5A.9040308@ntlworld.com> Date: Thu, 03 Feb 2005 20:53:46 +0000 From: "chris.danx" User-Agent: Mozilla Thunderbird 1.0 (X11/20041206) X-Accept-Language: en-us, en MIME-Version: 1.0 To: yminsky@cs.cornell.edu Cc: Caml Mailing List Subject: Re: [Caml-list] Estimating the size of the ocaml community References: <891bd33905020213315a2ebb18@mail.gmail.com> In-Reply-To: <891bd33905020213315a2ebb18@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 42028F5D.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42028F5C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 yaron:01 minsky:01 wrote:01 ocaml:01 tpl:01 ntlworld:98 pierce:02 size:95 size:95 chris:05 chris:05 theory:07 i'm:08 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Yaron Minsky wrote: > I've been trying to come up with some estimates on the size of the ocaml > community, and I'm wondering if others have come up with anything better. > Here's what I have so far: It is also used it TPL by Pierce and possibly the new advanced follow up book. We use this book as a reference text on our Type Theory course at uni, but use Java and SableCC for our assignments.