Écrits

  1. Unix system programming in OCaml >>
    Traduction en anglais du cours de programmation système Unix en OCaml.
  2. Il existe des fonctions incalculables ! >>
    Une preuve simple démontrant l'existence de fonctions incalculables.
  3. Protocol composition frameworks: a header-driven model >>
    Une technique pour résoudre des problèmes de composition dans les systèmes de composition de protocoles.
  4. Fault-tolerant structures: towards robust self-replication in a probablilistic environment >>
    Une technique pour des règles d'automates cellulaires résistantes aux fautes.