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

Concept

Simply typed lambda calculus

Séances de cours associées (31)

Lambdas: introduction

Introduit lambdas en Java, en se concentrant sur le tri avec l'interface Comparator.

Le calcul Lambda et la sécurité des types: un aperçu Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un aperçu du calcul lambda, de la sécurité de type et de l'inférence de type dans les langages de programmation.

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.

Séance papier et stylo: Lambda Calculus Proofs Connectez-vous à Mediaspace pour regarder cette vidéo

Plonge dans Lambda Calculus preuves, mettant l'accent sur l'induction structurelle et la manipulation variable.

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.

STL Essentials Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts essentiels de la bibliothèque de modèles standard (STL) en C ++ pour une manipulation efficace des données.

Fonctions d'ordre supérieur: Théorie de l'unification Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les fonctions d'ordre élevé, l'analyseur et les concepts de vérificateur de type.

Tuples: Désucrage et mise en œuvre Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les détails de mise en œuvre des tuples dans Scala, y compris le dessugaring, l'analyse lexicale, l'analyse et la génération de code.

Conversion implicite : concepts de base Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts de base de la conversion implicite dans Scala et son implémentation dans le code Scala.

Politique monétaire et décisions des ménages Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'optimisation des ménages, l'impact de la politique monétaire et la flexibilité des prix dans le nouveau modèle keynésien.

Multithreading : génération de code et vérification de type Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le multithreading, la génération de code et la vérification de type dans l'implémentation du compilateur.