Writings

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