Skip to content

Etienne Millon

      Research interests

      type theory.abstract interpretationStatic analysis