[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Francois Rouaix <Francois.Rouaix@i...> |
| Subject: | Re: omega 2 camllight |
> Does exist a caml library to interface camllight and the omega calculator (William Pugh) ? No, we have not heard of such a thing. I guess the main problem would be to interface C++ library code with the C Caml Light runtime... -- Francois.Rouaix@inria.fr Projet Cristal - INRIA Rocquencourt WWW Home Page: http://pauillac.inria.fr/~rouaix/