Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Formal OS in OCAML
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Gregory BELLIER <gregory.bellier@g...>
Subject: Formal OS in OCAML

do you have some news about the "Desert-Spring-Time" project ?
Is there something new since April, 26th 2007  
[] ?

Where can we get the sources, continue the project or learn from it ?

Do you know a similar project i.e a formal OS in OCAML ?

Thank you,

[french version]

Auriez-vous des nouvelles du projet "Desert-Spring-Time" ?
Est-ce qu'il a avancé depuis le 26 avril 2007  
[] ?
Comment peut-on récupérer les sources pour poursuivre le projet ou s'en 
inspirer ?
Auriez-vous la connaissance d'un projet similaire (développement d'un OS 
formel en Ocaml) ?