Passer au contenu principal
My Media
Français (fr)
English (en)
Français (fr)
Italiano (it)
Webmail
Uniweb
Panneau latéral
Accueil
My Media
Plus
Français (fr)
English (en)
Français (fr)
Italiano (it)
Vous êtes connecté anonymement
Connexion
Accueil
My Media
Ouvrir l’index du cours
DEPARTMENT OF MATHEMATICS "Tullio Levi-Civita" - DM
A.A. 2022 - 2023
Corsi di laurea magistrale
SC2598 - COMPUTER SCIENCE
FUNCTIONAL LANGUAGES 22/23
Lesson #16 - 6/12/2022
Lesson #16 - 6/12/2022
Type rules for basic ML expressions.
Semantics of ML: evaluation of rules.