From f9d4f732f2af7f706afbd97f53bbb020154375b3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 1 Mar 2000 11:05:00 +0000
Subject: New projects added

---
 html/projects/corba.html | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 html/projects/corba.html

(limited to 'html/projects/corba.html')

diff --git a/html/projects/corba.html b/html/projects/corba.html
new file mode 100644
index 00000000..f2143fc2
--- /dev/null
+++ b/html/projects/corba.html
@@ -0,0 +1,27 @@
+<h2>An Experimental CORBA binding for ML</h2>
+<p>
+The future version of Proof General may use CORBA as a communication
+mechanism between different components.  CORBA is also used by the
+Unix/Linux desktops KDE and GNOME, which the free implementations MICO
+and ORBIT.  We would like to be able to use ML to write applications
+and utilities in, to interface with other CORBA components on the
+desktop and network.  For this a CORBA binding for ML is needed.  This
+project involves the design and implementation of such a binding,
+using one of the open-source ML compilers such as Moscow ML, Poly/ML
+or OCaml (there may already be a project underway for the last of
+these).  
+</p>
+<p>
+A CORBA binding for Haskell would also be an interesting project.
+</p>
+</p>
+<p>
+<b>Skills:</b>
+Good ML programming skills and understanding of abstraction
+mechanisms, basic understanding of CORBA.
+</p><p>
+<b>Proposers:</b>
+<a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a> and
+<a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
+
+</p>
-- 
cgit v1.2.3