Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: [Caml-list] ocaml complexity
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David Gurr <gurr@m...>
Subject: Re: [Caml-list] ocaml complexity

> From owner-caml-list@pauillac.inria.fr Wed Jun 13 13:36:15 2001
> From: leary@nwlink.com
> To: Brian Rogoff <bpr@best.com>, caml <caml-list@inria.fr>
> X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
> Date: Wed, 13 Jun 2001 13:32:35 -0700
> Subject: Re: [Caml-list] ocaml complexity
> Mime-Version: 1.0
> Content-Disposition: inline
> User-Agent: Mutt/1.2.5i
> 
> On Wed, Jun 13, 2001 at 08:21:27AM -0700, Brian Rogoff wrote:
> > Perhaps we users should start writing
> > tutorials, rather than asking INRIAns, as I'd rather that they work on 
> > growing the language.
> 
> Aye.  Would Michel Mauny be agreeable to having his "Functional
> Programming Using Caml Light" be the starting point for a "Learning OCaml"
> project, say on sourceforge?  Are there any better tutorials on ML 

I assume you mean Caml rather than SML

> that
> might be borrowed from with permission?
> 
> 
The intro in the HOL-Light manual is quite good.  Also quite good is:

http://cristal.inria.fr/~remy/isia/

> 
> -------------------
> 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
> 
-------------------
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