for review: announce MCORBA paper

[David Glen JEFFERY]

Hi Tyse,

What do you think of this?

------------------------------------------------------------------------

Estimated hours taken: 0.5

Announce the MCORBA paper, but do not actually make it available yet; I
want to check out exactly what copyright notices I'm meant to provide.
I will do so when I get to work tomorrow.

w3/information/include/papers.inc:
	Add info about the paper.
w3/news/newsdb.inc:
	Add a pointer to the above information.

cvs diff: Diffing .
cvs diff: Diffing contact
cvs diff: Diffing contact/include
cvs diff: Diffing download
cvs diff: Diffing download/include
cvs diff: Diffing download/patches
cvs diff: Diffing images
cvs diff: Diffing include
cvs diff: Diffing information
cvs diff: Diffing information/bench
cvs diff: Diffing information/developers
cvs diff: Diffing information/include
Index: information/include/papers.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/information/include/papers.inc,v
retrieving revision 1.2
diff -u -t -r1.2 papers.inc
--- papers.inc	1998/09/30 08:24:51	1.2
+++ papers.inc	1998/11/18 08:23:37
@@ -17,6 +17,42 @@
 
 <li>
 <strong>
+MCORBA: A CORBA Binding for Mercury
+</strong>
+<br>
+David Jeffery, Tyson Dowd and Zoltan Somogyi.
+<br>
+<em>
+Practical Aspects of Declarative Languages: First International Workshop
+</em>
+To appear:
+Lecture Notes in Computer Science,
+Springer Verlag, January 1999, 15 pages.
+Not yet available.
+<p>
+
+MCORBA is a binding to the CORBA distributed object framework
+for the purely declarative logic/functional language Mercury.
+The binding preserves the referential transparency of the language,
+and has several advantages
+over similar bindings for other strongly typed declarative languages.
+As far as we know, it is the first such binding to be bidirectional;
+it allows a Mercury program both to operate upon CORBA components
+and to provide services to other CORBA components.
+Whereas the Haskell binding for COM
+maps COM interfaces onto Haskell types,
+MCORBA maps CORBA interfaces onto Mercury type classes.
+Our approach simplifies the mapping,
+makes the implementation of CORBA's interface inheritance straightforward,
+and makes it trivial for programmers to provide
+several different implementations of the same interface.
+It uses existential types to model the operation
+of asking CORBA for an object that satisfies a given interface
+but whose representation is unknown.
+<p>
+
+<li>
+<strong>
 Type classes in Mercury.
 </strong>
 <br>
cvs diff: Diffing information/papers
cvs diff: Diffing mailing-lists
cvs diff: Diffing mailing-lists/include
cvs diff: Diffing mailing-lists/mercury-developers
cvs diff: Diffing mailing-lists/mercury-developers/include
cvs diff: Diffing mailing-lists/mercury-users
cvs diff: Diffing mailing-lists/mercury-users/include
cvs diff: Diffing news
Index: news/newsdb.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/news/newsdb.inc,v
retrieving revision 1.10
diff -u -t -r1.10 newsdb.inc
--- newsdb.inc	1998/11/17 15:35:50	1.10
+++ newsdb.inc	1998/11/18 07:52:48
@@ -23,6 +23,13 @@
 <A HREF=\"download/release-0.8.html\">here</A>."
 ),
 
+"18 November 1998" => array("New MCORBA paper available",
+
+"We have made a paper describing the Mercury CORBA interface
+available from
+<A HREF=\"information/papers.html\">the Mercury papers page</A>."
+),
+
 "30 Sep 1998" => array("New paper: Type classes in Mercury.",
 
 "A new paper, describing our implementation of type classes in Mercury, 
------------------------------------------------------------------------


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Did you just call everyone "chicken"?
PhD student,                    |  Homer: Noooo.  I swear on this Bible!
Dept. of Comp. Sci. & Soft. Eng.|  Marge: That's not a Bible; that's a book of
University of Melbourne         |         carpet samples!
Australia                       |  Homer: Ooooh... Fuzzy.