22 - Theorie der Programmierung/ClipID:9384 previous clip next clip

Keywords: ML Polymorphie Typinferenz Hindley Milner let Algorithmus
The automatic subtitles generated using Whisper Open AI in this video player (and in the Multistream video player) are provided for convenience and accessibility purposes. However, please note that accuracy and interpretation may vary. For more information, please refer to the FAQs (Paragraph 14).
Recording date 2018-07-02
Video Multistream Player CC Clip iFrame Code

Course

Theorie der Programmierung

Lecturer

Prof. Dr. Lutz Schröder

Via

Free

Language

German

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Producer

MultiMediaZentrum

Format

lecture

Type

university lecture

Up next

23 - Theorie der Programmierung
Schröder, Lutz
Christoph Rauch
2018-07-05
Free
24 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-07-09
Free
25 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-07-12
Free

More clips in this category "Technische Fakultät"

15 - Regelungstechnik B - Lernmodul 6 - Übung
2024-10-07
IdM-login
protected  
16 - Regelungstechnik B - Lernmodul 7 - Übung
2024-10-07
IdM-login
protected  
17 - Regelungstechnik B - Lernmodul 8 - Übung
2024-10-07
IdM-login
protected  
18 - Regelungstechnik B - Lernmodul 9 - Übung
2024-10-07
IdM-login
protected  
1 - Organisatorisches
2024-10-04
IdM-login
protected  
3 - Maßgeschneiderte Prozesstechnologien
2024-09-06
Studon
protected