MATLAB Coder is a commercial compiler that converts MATLAB code to embeddable C/C++ code. It is used by thousands of engineers to deploy signal processing and control algorithms.

In this talk, we describe how MATLAB Coder uses online partial evaluation and types to convert dynamically-typed MATLAB code into idiomatic statically-typed C/C++ code. It uses function specialization, both on types and on values, as the underlying mechanism for complete static type inference, for generating statically-typed compiler-friendly code, and for detection of program errors at compile time.