Passer au contenu principal
Si vous continuez à consulter ce site web, vous acceptez nos politiques :
  • Condizioni di utilizzo e trattamento dei dati
Continuer
x
Français ‎(fr)‎
English ‎(en)‎ Français ‎(fr)‎ Italiano ‎(it)‎
Vous êtes connecté anonymement
Connexion
Macroarea STEM
Accueil Calendrier My Media
Macroarea STEM
  • Accueil
  • Calendrier
  • My Media
  • Plus
Tout déplier Tout replier
  1. DEPARTMENT OF MATHEMATICS "Tullio Levi-Civita" - DM
  2. A.A. 2022 - 2023
  3. Corsi di laurea magistrale
  4. SC2598 - COMPUTER SCIENCE
  5. FUNCTIONAL LANGUAGES 22/23
  6. Video Lessons
  7. Lesson #20 - 20/12/2022

Lesson #20 - 20/12/2022

Conditions d’achèvement

Substitutions and Unification: the Martelli-Montanari Algorithm. Type inference rules for lambda and app.

Academi

Info

    Piattaforme Moodle in AteneoTecnologie per la didatticaPortale Video MediaspaceStatus Piattaforme Elearning

Digital Learning e Multimedia - ASIT - Università degli Studi di Padova. Powered by Moodle

Vous êtes connecté anonymement (Connexion)
Résumé de conservation de données
Politiques
Obtenir l’app mobile
Fourni par Moodle