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

Concept

Système nominatif de types

Séances de cours associées (28)

Concevoir des systèmes d'intervalles officiellement corrects Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la conception de systèmes intermittents formellement corrects pour les plates-formes de calcul de bord extrême, mettant l'accent sur la justesse, la fiabilité et la sécurité.

Polymorphisme dans Coq: Structures de données et fonctions Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le polymorphisme dans Coq, en se concentrant sur les structures de données et les fonctions telles que les listes, la longueur et l'ajout.

Systèmes d'intervalles de correction formels Connectez-vous à Mediaspace pour regarder cette vidéo

Se concentre sur la conception de systèmes intermittents officiellement corrects dans les systèmes sans batterie alimentés par intermittence, en abordant les défis et les stratégies pour assurer l'exactitude.

Simply Taped Lambda Calculus: Fondements et propriétés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le calcul lambda simplement typé, en se concentrant sur sa syntaxe, sa sémantique et ses propriétés de système de type telles que le progrès et la préservation.

Sous-typage et génériques: Variation et covariance Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le sous-typage, les génériques, la variance et la covariance dans Scala, ainsi que les collections, les tableaux et la recherche combinatoire.

Sous-typage et génériques dans Scala Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le sous-typage, les génériques et la variance dans Scala, en soulignant l'importance de descriptions de types précises et en démontrant des applications pratiques des expressions.

Sous-typage et calcul de type Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le sous-typage, le calcul de type et le calcul de limites de type dans un système avec sous-typage, guidant à travers des exercices et des preuves étape par étape.

Pointeurs: Chaînes, Fonctions, Casting Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les pointeurs sur les chaînes, les fonctions et le casting en programmation C.