From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA25449; Thu, 14 Jun 2001 19:37:49 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA25849 for caml-list@pauillac.inria.fr; Thu, 14 Jun 2001 19:37:49 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA24487 for ; Thu, 14 Jun 2001 18:05:27 +0200 (MET DST) Received: from hebe.or.intel.com (jffdns02.or.intel.com [134.134.248.4]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f5EG5Pj10625 for ; Thu, 14 Jun 2001 18:05:26 +0200 (MET DST) Received: from ichips-ra.pdx.intel.com (ichips-ra-hme5.intel.com [10.7.9.35]) by hebe.or.intel.com (8.9.1a+p1/8.9.1/d: relay.m4,v 1.40 2001/06/06 21:14:49 root Exp $) with ESMTP id QAA13354; Thu, 14 Jun 2001 16:05:09 GMT Received: from dhpc0010.pdx.intel.com (dhpc0010.pdx.intel.com [10.7.21.33]) by ichips-ra.pdx.intel.com (8.9.1a/8.9.1/d: internal.m4,v 1.2 1998/11/09 19:18:37 iwep Exp iwep $) with ESMTP id JAA16233; Thu, 14 Jun 2001 09:05:07 -0700 (PDT) Received: from ichips.intel.com (johnh@localhost [127.0.0.1]) by dhpc0010.pdx.intel.com (8.9.1a/8.9.1/d: client-ra.m4,v 1.1 1998/12/24 19:00:55 jamesw Exp jamesw $) with ESMTP id JAA14630; Thu, 14 Jun 2001 09:05:03 -0700 (PDT) Message-Id: <200106141605.JAA14630@dhpc0010.pdx.intel.com> To: David Gurr cc: bpr@best.com, leary@nwlink.com, caml-list@inria.fr, John Harrison Subject: Re: [Caml-list] ocaml complexity Date: Thu, 14 Jun 2001 09:04:58 -0700 From: John R Harrison Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk | > The intro in the HOL-Light manual is quite good. Also quite good is: | | [....] | | Do you have a link to the HOL-Light manual? See the following URL (there's a link to the manual near the bottom): http://www.cl.cam.ac.uk/users/jrh/hol-light/index.html Most of the CAML tutorial material here was compressed from an earlier lecture course I gave based on CAML. You might also find the notes for this course interesting: http://www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/index.html This starts with basic lambda calculus theory before getting into real CAML programming, so it might not appeal to many programmers. (Indeed, it didn't appeal to most of the students, as I recall.) But this approach does help to emphasize the fundamental theoretical simplicity of core ML. And there are some quite nice programming examples near the end. John. ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr