From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id IAA19973 for caml-redistribution; Wed, 18 Sep 1996 08:59:33 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id WAA13828 for ; Tue, 17 Sep 1996 22:29:59 +0200 Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id WAA01198 for ; Tue, 17 Sep 1996 22:29:58 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.10/8.6.6) with ESMTP id WAA04606 for ; Tue, 17 Sep 1996 22:29:54 +0200 Received: from simon.cs.cornell.edu (SIMON.CS.CORNELL.EDU [128.84.154.10]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id WAA01194 for ; Tue, 17 Sep 1996 22:29:53 +0200 (MET DST) Received: from cloyd.cs.cornell.edu (CLOYD.CS.CORNELL.EDU [128.84.227.15]) by simon.cs.cornell.edu (8.7.5/8.7.3/R-1.2) with ESMTP id QAA08109 for ; Tue, 17 Sep 1996 16:29:52 -0400 (EDT) Received: from deneb.cs.cornell.edu (DENEB.CS.CORNELL.EDU [128.84.227.5]) by cloyd.cs.cornell.edu (8.7.5/8.7.3/M-1.3) with ESMTP id QAA27057 for ; Tue, 17 Sep 1996 16:29:51 -0400 (EDT) Received: (from crary@localhost) by deneb.cs.cornell.edu (8.7.5/8.7.3/C-1.1) id QAA17669; Tue, 17 Sep 1996 16:29:46 -0400 (EDT) Message-Id: <199609172029.QAA17669@deneb.cs.cornell.edu> To: caml-list@margaux.inria.fr Subject: Formal O'Caml Date: Tue, 17 Sep 1996 16:29:46 -0400 From: Karl Crary Sender: weis Is there a formal account of O'Caml that simultaneously addresses both the module and object systems? I'm aware of the individual accounts of each. Thanks for any help on this. -- Karl Crary