Writings

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