Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for serious systems and applications programming. It ooers an excellent ratio of expressiveness to language complexity, and provides competitive eeciency. Because of its type and module system, Standard ML manages to combine safety, security, and robustness with much of the exib...

Today is the last lecture on representation. We’ve shown that neural nets can fit continuous functions, and also that they can fit some other functions succinctly (with small representation size), but we’ve only looked at univariate outputs! Today we’ll close the topic with a look at a much different representation problem: using machine learning models to approximate probability distributions!...

ML is a family of functional type-safe programming languages with both polymorphic types and mutable state. The naive combination of these two features leads to type violations, resulting in an unsound language. The value restriction as proposed by Wright and adopted by Standard ML restores soundness to the language, but restricts all references to be monomorphic. However, allocating and updati...

Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for serious systems and applications programming. It offers an excellent ratio of expressiveness to language complexity, and provides competitive efficiency. Because of its type and module system, Standard ML manages to combine safety, security, and robustness with much of the f...

R esum e Les objets avec types dynamiques permettent d'incorporer aux langages statiquement typ es des op erations qui par leur nature requi erent des v eriications de types a l'ex ecution. Ce rapport pr esente deux proposition d'extension du langage ML avec les dynamiques, for-malisant et etendant ce qui a et e mis en pratique dans le syst eme CAML, et etudie l'utilit e pratique de ces extensi...