A formalization of ML kernel languages - View it on GitHub