Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Charles Neveu <neveu@artemis.arc.nasa.gov>
To: caml-list <caml-list@inria.fr>
Subject: Re: Netwoking examples..
Date: Fri, 05 May 2000 12:39:17 -0700	[thread overview]
Message-ID: <39132365.57125641@artemis.arc.nasa.gov> (raw)
In-Reply-To: <00050510233603.00193@haguenauer>

Folks,

Let me put in a plug for Ensemble, the very excellent distributed communication
system by Mark Hayden, Tim Clark and others in Ken Birman's group at Cornell.
It's written in OCAML and it makes communication between many processes on many
different machines trivial. 

Check it out at 

http://www.cs.cornell.edu/Info/Projects/Ensemble/index.html

Chas

-- 
Dr. Charles Frederick Neveu	T: 650 604-2525
Autonomy and Robotics Group	F: 650 604-4036
NASA Ames Research Center	E: neveu@artemis.arc.nasa.gov
Mail Stop 269-4			W: http://img.arc.nasa.gov:~neveu
Moffett Field, CA 94035-1000




  reply	other threads:[~2000-05-11 17:20 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-05-04 23:06 Ravi Chamarty
2000-05-05  8:20 ` Michel Quercia
2000-05-05 19:39   ` Charles Neveu [this message]
2000-05-05  8:39 ` Daniel de Rauglaudre
2000-05-05 11:16 ` David Mentré
2000-05-05 13:00 ` Benjamin C. Pierce
2000-05-05 17:29 ` tyler

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=39132365.57125641@artemis.arc.nasa.gov \
    --to=neveu@artemis.arc.nasa.gov \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox