11 - Theorie der Programmierung [ID:11521]
clip player preview

Dieser Clip ist ausschließlich für angemeldete Benutzer zugänglich.

Teil einer Videoserie :
Theorie der Programmierung

Presenters

Prof. Dr. Lutz Schröder Prof. Dr. Lutz Schröder

Zugänglich über

Nur für Portal

Gesperrt clip

Dauer

01:18:47 Min

Aufnahmedatum

2019-06-03

Hochgeladen am

2019-06-03 22:49:03

Sprache

de-DE

Tags

Kalkül Typen Lambda Typinferenz Curry Typvariable Basistypen Typcheck