Teaching
Post-doc positions
Undergraduate project proposals
  • Extending the CDuce/OCaml interface to polymorphic types (see CDuce )
  • Embedded CDuce. (see CDuce )