Formal O'Caml

Karl Crary (crary@cs.cornell.edu)
Tue, 17 Sep 1996 16:29:46 -0400

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 <crary@cs.cornell.edu>

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