magistraleinformatica:psc:2020-21:start
Differenze
Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
| Entrambe le parti precedenti la revisioneRevisione precedente | |||
| magistraleinformatica:psc:2020-21:start [05/02/2022 alle 16:54 (3 anni fa)] – [Lectures (1st part)] Roberto Bruni | magistraleinformatica:psc:2020-21:start [05/02/2022 alle 16:55 (3 anni fa)] (versione attuale) – [Lectures (1st part)] Roberto Bruni | ||
|---|---|---|---|
| Linea 116: | Linea 116: | ||
| | 17 | Wed | 24/03 | 14:00-16:00 | Teams | Haskell ghci (ctd.):\\ //costrutto let-in, costrutto where, map, filter, fixpoint operator, exercises// | | 17 | Wed | 24/03 | 14:00-16:00 | Teams | Haskell ghci (ctd.):\\ //costrutto let-in, costrutto where, map, filter, fixpoint operator, exercises// | ||
| | 18 | Fri | 26/03 | 14:00-16:00 | Teams | Haskell ghci (ctd.):\\ //tail recursion, folds, application, | | 18 | Fri | 26/03 | 14:00-16:00 | Teams | Haskell ghci (ctd.):\\ //tail recursion, folds, application, | ||
| - | | 19 | Mon | 29/03 | 16:00-18:00 | Teams | Exercises: | + | | 19 | Mon | 29/03 | 16:00-18:00 | Teams | Exercises: |
| - | | 20 | Wed | 31/03 | 14:00-16:00 | Teams | 12 - HOFL (ctd.):\\ //type inference, principal type, canonical forms, operational semantics, lazy vs eager evaluation// | + | | 20 | Wed | 31/03 | 14:00-16:00 | Teams | 12 - HOFL (ctd.):\\ //type inference, principal type, canonical forms, operational semantics, lazy vs eager evaluation// |
magistraleinformatica/psc/2020-21/start.1644080075.txt.gz · Ultima modifica: 05/02/2022 alle 16:54 (3 anni fa) da Roberto Bruni