Browse thread
Formal OS in OCAML
- Gregory BELLIER
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | 2009-05-20 (10:26) |
| From: | Gregory BELLIER <gregory.bellier@g...> |
| Subject: | Formal OS in OCAML |
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