...done.

Also useful to compiler ML technology--as Pugh theory is to C.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...HREF="#MBWWW">

MathBus has been funded under a previous DARPA grant . The current version provides a common syntax for exchanging mathematics; we propose to extend it to provide a common communication protocol.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.