* Formal OS in OCAML
@ 2009-05-20 10:26 Gregory BELLIER
0 siblings, 0 replies; 2+ messages in thread
From: Gregory BELLIER @ 2009-05-20 10:26 UTC (permalink / raw)
To: caml-list
I forgot to give you this link which leads to a dead link :
http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=448
Once again, thanks.
Gregory
^ permalink raw reply [flat|nested] 2+ messages in thread
* Formal OS in OCAML
@ 2009-05-20 10:16 Gregory BELLIER
0 siblings, 0 replies; 2+ messages in thread
From: Gregory BELLIER @ 2009-05-20 10:16 UTC (permalink / raw)
To: caml-list
Hello,
do you have some news about the "Desert-Spring-Time" project ?
Is there something new since April, 26th 2007
[http://cia.vc/stats/project/Desert-Spring-Time?s_message=0R] ?
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,
Gregory.
[french version]
Bonjour,
Auriez-vous des nouvelles du projet "Desert-Spring-Time" ?
Est-ce qu'il a avancé depuis le 26 avril 2007
[http://cia.vc/stats/project/Desert-Spring-Time?s_message=0R] ?
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) ?
Merci,
Gregory.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2009-05-20 10:26 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-05-20 10:26 Formal OS in OCAML Gregory BELLIER
-- strict thread matches above, loose matches on Subject: below --
2009-05-20 10:16 Gregory BELLIER
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).