translate English to French: , typing and code generation for a stack-based virtual machine.
, typage et génération de code pour une machine à pile virtuelle.