Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Type inference

Related courses (28)

ME-102: Mechanical construction II (for ME)

Le cours de ME-102 vise à l'acquisition d'une solide culture technique de base en vue d'être capable de traiter des cas concrets de construction mécanique, via une revue des concepts, composants, et méthodologies utilisés dans ce domaine, et la réalisation ...

PHYS-443: Physics of nuclear reactors

In this course, one acquires an understanding of the basic neutronics interactions occurring in a nuclear fission reactor as well as the conditions for establishing and controlling a nuclear chain reaction. ...

AR-531: Introduction to building archaeology

Cet enseignement transmet les notions de base dans les méthodes d'étude et d'analyse en archéologie de la construction. L'objectif est de développer chez les étudiant.e.s une meilleure compréhension du bâti ancien qui leur permettra d'avoir une approche pl ...

CS-320: Computer language processing

We teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language into machine code using a popular backend called LLVM (htt ...

CS-214: Software construction

Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and fundamental software construction concepts (reusability, abstr ...

AR-128: Building technology I, II

Introduction à la technologie du bâti: défis environnementaux et sociétaux, exigences techniques et fonctionnelles du bâtiment dans la durée, équilibre statique des ossatures, matériaux de construction, détails d'assemblage et mise en oeuvre, stratégies de ...

CS-452: Foundations of software

The course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a program part or a language. Students will learn how to apply ...

PHYS-207(a): General physics : quanta

Ce cours est une introduction à la mécanique quantique. En partant de son développement historique, le cours traite les notions de complémentarité quantique et le principe d'incertitude, le processus de mesure, l'équation de Schrödinger, ainsi que des élém ...