Standard ML

Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...

Related courses (17)

About
Privacy
Disclaimer

Graph Chatbot

Mettre en pratique les bases de la programmation vues au semestre précédent. Développer un logiciel structuré. Méthode de debug d'un logiciel. Introduction à la programmation scientifique. Introductio

MATH-205: Analysis IV - Lebesgue measure, Fourier analysis

Learn the basis of Lebesgue integration and Fourier analysis

BIO-645: Introduction to Applied Data Science (I2ADS)

The "Introduction to Applied Data Science" (I2ADS) course is aimed at students of all levels to train them in the core computer science software stack and techniques forming the pillars of open & repr

CS-206: Parallelism and concurrency

Course no longer offered for new students; this edition is only a make-up course for those who repeated the year. Please log in with EPFL credentials and consult the mediaspace link below for course v

CS-628: Interactive Theorem Proving CS

A hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!

CH-609: Introduction to the ChemInfo ELN of ISIC

This course will be on Electronic Laboratory Notebooks and is aimed at (future) users. Multiple electronic lab notebooks exists. The course will focus on the Cheminfo tools (https://eln.epfl.ch/).

CS-210: Functional programming

Understanding of the principles and applications of functional programming, the fundamental models of program execution, application of fundamental methods of program composition, meta-programming thr

Page 2 of 2