blob: 2b70fbc11a51919ef0411e26a311cfa7fdf17a21 (
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 use the free implementations
MICO and ORBIT respectively. 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
an experimental version 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>
|
