archives

OPIS -- Distributed Arrows In O'Caml

The short version is that they let you deploy "Arrows" over the network. The long version makes reference to Lamport and touches on the use of theorem provers in their system.

By Jason Dusek at 2008-08-19 08:31 | LtU Forum | 11 comments | other blogs | 8950 reads