11 - Theorie der Programmierung/ClipID:11521 previous clip next clip

Keywords: Lambda Kalkül Typen Typvariable Basistypen Typinferenz Typcheck Curry
Recording date 2019-06-03

Course

Theorie der Programmierung

Lecturer

Prof. Dr. Lutz Schröder

Via

IdM-login

Language

German

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Producer

MultiMediaZentrum

Format

lecture

Type

university lecture

Up next

12 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-06-06
IdM-login
13 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-06-13
IdM-login
14 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-06-17
IdM-login
15 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-06-24
IdM-login
16 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-06-27
IdM-login

More clips in this category "Technische Fakultät"

12 - Introduction to Software Engineering
2024-07-18
Free
public  
25 - Artificial Intelligence II
2024-07-18
Free
public  
25 - Einführung in Datenbanken
2024-07-19
Studon
protected  
17 - Pattern Analysis Q&A
2024-07-19
IdM-login
protected  
8 - Lecture Polymers II SS2024 25.06.2024
2024-07-18
IdM-login
protected  
9 - Lecture Polymers II SS2024 02.07.2024
2024-07-18
IdM-login
protected