Outils pour utilisateurs
formations:masters:ue:m1:sem8
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
| formations:masters:ue:m1:sem8 [2023/09/11 06:39] – [Sujets centraux] guatto | formations:masters:ue:m1:sem8 [2025/01/29 10:46] (Version actuelle) – ↷ Liens modifiés en raison d'un déplacement. admin | ||
|---|---|---|---|
| Ligne 25: | Ligne 25: | ||
| ==== Sujets potentiellement traités ==== | ==== Sujets potentiellement traités ==== | ||
| - | * Polymorphisme paramétrique et système F | + | * Autre langages objets : λ-calcul pur, λ-calcul effectif, |
| + | * Stratégies d’évaluation : appel par nom, par valeur, par pousse-valeur. | ||
| + | * Effets calculatoires : affichage, état global, erreurs. | ||
| * Théorie de la réécriture pour le λ-calcul pur | * Théorie de la réécriture pour le λ-calcul pur | ||
| ===== Pré-requis ===== | ===== Pré-requis ===== | ||
| - | * [[..:..:..:licences: | + | * [[..:..:..:licence: |
| * Définitions et raisonnement par induction. | * Définitions et raisonnement par induction. | ||
| * Manipulations élémentaires sur les ensembles. | * Manipulations élémentaires sur les ensembles. | ||
| * Relations d' | * Relations d' | ||
formations/masters/ue/m1/sem8.1694414342.txt.gz · Dernière modification : 2023/09/11 06:39 de guatto
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
