Unix system programming in OCaml
Translation of the course on Unix system programming in OCaml.
Il existe des fonctions incalculables !
A simple proof showing the existence of uncomputable functions.
Protocol composition frameworks: a header-driven model
A technique to solve composition problems in protocol composition frameworks.
Fault-tolerant structures: towards robust self-replication in a probablilistic environment
A technique for fault-resistant cellular automata rules.