Path: utzoo!attcan!uunet!mcvax!inria!dupont
From: dupont@inria.UUCP (Francis Dupont)
Newsgroups: comp.lang.scheme
Subject: Re: ML info
Summary: a parallel version of ML
Message-ID: <725@inria.UUCP>
Date: 4 Jul 88 09:13:53 GMT
References: <8807020720.AA25763@iris.ucdavis.edu>
Organization: INRIA, Rocquencourt. France
Lines: 16

> I seem to remember some discussions about ML in this group several months
> ago.  Does anyone know of work on concurrent/multiprocessing versions of ML
> or object-oriented extensions to ML?

 I am working on a parallel version of CAML (the local dialect of ML).
It is an extension of a strict+lazy system (like MultiLisp), it runs
on a shared memory multiprocessor (a Sequent Balance).
 I don't know any object-oriented extension of ML. The static (compile-time)
polymorphic type-checking of ML and objects don't work well together. But
see Luca Cardelli's languages Amber and Quest.

Francis Dupont (INRIA Rocquencourt, France)

Internet : dupont@inria.inria.fr
Uucp : mcvax!inria!dupont
X400 : /C=Fr/ADMD=PTT/PRMD=aristote/ORG=inria/OU=pommard/S=Dupont/G=Francis