From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA18200 for caml-redistribution; Thu, 11 Feb 1999 09:50:07 +0100 (MET)
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 UAA00611 for <caml-list@pauillac.inria.fr>; Wed, 10 Feb 1999 20:52:00 +0100 (MET)
Received: from cepheus.azstarnet.com (cepheus.azstarnet.com [169.197.56.195])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id UAA07214
	for <caml-list@inria.fr>; Wed, 10 Feb 1999 20:51:59 +0100 (MET)
Received: from dylan (dialup04ip002.tus.azstarnet.com [169.197.31.130])
	by cepheus.azstarnet.com (8.9.1a/8.9.1a) with SMTP id MAA09142
	for <caml-list@inria.fr>; Wed, 10 Feb 1999 12:49:17 -0700 (MST)
X-Sent-via: StarNet http://www.azstarnet.com/
Message-ID: <000901be552e$e9cebfd0$210148bf@dylan>
From: "David McClain" <dmcclain@azstarnet.com>
To: "Liste CAML" <caml-list@inria.fr>
Date: Wed, 10 Feb 1999 12:52:36 -0700
MIME-Version: 1.0
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 4.72.3110.5
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3
Sender: weis

I have implemented a high-level C-Foreign Function Interface (CFFI),for =
Win/NT 4.0 x86, along the lines suggested by Huelsbergen's paper for =
SML/NJ. The OCAML version is a bit more flexible than the one currently =
in SML/NJ, but callback functions have not yet been implemented.

Check it out at

http://www.azstarnet.com/~dmcclain/cffi.zip

Huelsbergen's paper can be found at

http://cm.bell-labs.com/cm/cs/what/smlnj/doc/SMLNJ-C/index.html


David McClain
Sr. Scientist
Raytheon Missile Systems Co.
Tucson, AZ
http://www.azstarnet.com/~dmcclain/homepage.htm