blob: f2143fc2298900c7a23f391269373bb087ee1ce2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
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>
|
