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 QAA04825; Mon, 18 Aug 2003 16:41:00 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 QAA13468 for ; Mon, 18 Aug 2003 16:40:59 +0200 (MET DST) Received: from nexus.stwing.upenn.edu (NEXUS.STWING.UPENN.EDU [165.123.132.61]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h7IEewT15101 for ; Mon, 18 Aug 2003 16:40:58 +0200 (MET DST) Received: from force.stwing.upenn.edu (root@force.stwing.upenn.edu [165.123.132.65]) by nexus.stwing.upenn.edu (8.12.9/8.12.9) with ESMTP id h7IEeugZ006201 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Mon, 18 Aug 2003 10:40:57 -0400 (EDT) Received: from force.stwing.upenn.edu (wlovas@[127.0.0.1]) by force.stwing.upenn.edu (8.12.9/8.12.9) with ESMTP id h7IEeu4Q016654 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Mon, 18 Aug 2003 10:40:56 -0400 (EDT) Received: (from wlovas@localhost) by force.stwing.upenn.edu (8.12.9/8.12.9/Submit) id h7IEetXX016653 for caml-list@inria.fr; Mon, 18 Aug 2003 10:40:55 -0400 (EDT) Date: Mon, 18 Aug 2003 10:40:55 -0400 From: William Lovas To: caml-list@inria.fr Subject: Re: [Caml-list] hash objectified Message-ID: <20030818144055.GA16027@force.stwing.upenn.edu> Mail-Followup-To: caml-list@inria.fr References: <20030812193144.GA17371@mlabdial.hit.bme.hu> <20030818145056.A22575@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20030818145056.A22575@pauillac.inria.fr> User-Agent: Mutt/1.5.4i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lovas:01 wlovas:01 stwing:01 caml-list:01 hash:01 hashes:01 jacques:01 garrigue's:01 wwwfun:01 olabl:01 0200,:01 cryptokit:02 modules:02 o'caml:02 classes:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, Aug 18, 2003 at 02:50:56PM +0200, Xavier Leroy wrote: > > If my memory serves me well, there is a classified version of hashes, > > and other modules. But I cannot find them. Can anyone tell me the URL? > > I'm not sure I understand your question correctly, but maybe you're > looking for the Cryptokit library: > http://pauillac.inria.fr/~xleroy/software.html Hmm. My guess is he was looking for Jacques Garrigue's O'Caml class library, which a moment on Google found for me: http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/classes/ `Classified' as in `made into a class', not `withheld from circulation' :) cheers, William ------------------- 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/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners