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 UAA07797 for caml-redist@pauillac.inria.fr; Fri, 5 May 2000 20:42:14 +0200 (MET DST)
Resent-Message-Id: <200005051842.UAA07797@pauillac.inria.fr>
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA13952 for <caml-list@pauillac.inria.fr>; Fri, 5 May 2000 15:20:35 +0200 (MET DST)
Received: from saul.cis.upenn.edu (SAUL.CIS.UPENN.EDU [158.130.12.4])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id PAA12149
	for <caml-list@inria.fr>; Fri, 5 May 2000 15:15:33 +0200 (MET DST)
Received: from localhost (localhost [127.0.0.1])
	by saul.cis.upenn.edu (8.9.3/8.9.3) with SMTP id JAA07387;
	Fri, 5 May 2000 09:00:56 -0400 (EDT)
To: Ravi Chamarty <ravi@ittc.ukans.edu>
cc: caml-list@inria.fr
Reply-to: bcpierce@cis.upenn.edu
Subject: Re: Netwoking examples.. 
In-reply-to: Your message of Thu, 04 May 2000 18:06:29 -0500.
             <Pine.LNX.4.10.10005041804110.8149-100000@elroy.ittc.ukans.edu> 
Date: Fri, 05 May 2000 09:00:56 EDT
Message-ID: <7385.957531656@saul.cis.upenn.edu>
From: "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
Resent-From: weis@pauillac.inria.fr
Resent-Date: Fri, 5 May 2000 20:42:14 +0200
Resent-To: caml-redist@pauillac.inria.fr

>   Can  anyone give me a pointer to a few networking examples in
> OCaml using sockets and connects ??

Unison uses sockets plus ocaml's marshalling feature to implement its
own remote procedure call mechanism.  The code is a bit complex, since
it handles propagation of exceptions, etc., across address spaces,
bidirectional RPC, etc., but it's fairly well modularized.

    http://www.cis.upenn.edu/~bcpierce/unison

  -- B