windley@IRIS.UCDAVIS.EDU (Phil Windley) (07/02/88)
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? ML seems close enough in spirit to Scheme that something like SCOOPS could be used as a model. Phil Windley | windley@iris.ucdavis.edu Robotics Research Lab | ucbvax!ucdavis!iris!windley University of California, Davis |
dupont@inria.UUCP (Francis Dupont) (07/04/88)
> 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
goldberg@GOLDBERG.CS.NYU.EDU (Ben Goldberg) (07/05/88)
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? ML seems close enough in spirit to Scheme that something like SCOOPS could be used as a model. In the upcoming Lisp & FP conference, there is a paper by John Mitchell and Lelita Jategoankar (spelling?) on ML+, an object oriented extension to ML. -Ben Goldberg NYU