Vai al contenuto principale
  • Unipd
  • Portale Didattica
  • Orari
  • Uniweb
  • Webmail
  • My Media
  • Italiano ‎(it)‎
    English ‎(en)‎ Français ‎(fr)‎ Italiano ‎(it)‎
  • Webmail
  • Uniweb
STEM
  • Home
  • Unipd
  • Portale Didattica
  • Orari
  • Uniweb
  • Webmail
  • My Media
  • Altro
Italiano ‎(it)‎
English ‎(en)‎ Français ‎(fr)‎ Italiano ‎(it)‎
Ospite
Login
Home Unipd Portale Didattica Orari Uniweb Webmail My Media
  1. DIPARTIMENTO DI MATEMATICA "Tullio Levi-Civita" - DM
  2. A.A. 2022 - 2023
  3. Corsi di laurea magistrale
  4. SC2598 - COMPUTER SCIENCE
  5. FUNCTIONAL LANGUAGES 22/23
  6. Lesson #16 - 6/12/2022

Lesson #16 - 6/12/2022

Type rules for basic ML expressions.
Semantics of ML: evaluation of rules.

STEM

UFFICIO DIGITAL LEARNING E MULTIMEDIA

  • Piattaforme Moodle in Ateneo
  • Tecnologie per la didattica
  • Portale Video Mediaspace
  • Contatti
  • Status Piattaforme Elearning
  • Ospite (Login)
  • Riepilogo della conservazione dei dati
    Ottieni l'app mobile
    Politiche