next|prev|index

1. Context

Since April 2016 and for one year (hopefully longer):

• Gallium: 70%
• Inria: 30%

For Inria in general:

• Several activities, among which
• Writing a course on interfacing OCaml with C

For Gallium:

• Improving the test infrastructure of the OCaml compiler
• Improving cross-compilation features