| Dieser Seminarvortrag stellt die Typsysteme vor. Es werden verschiedene
Typsysteme(monomorph, polymorph, statisch und dynamisch) erläutert,
wobei jeweils die zugehörigen Typinferenzregeln besprochen wird. Diese
Formulierungen stützen sich auf die typisierten Lambda-Kalkülen.
Abschließend werden einige neue Syntaxen von Mini-ML als Ergänzung zu den typisierten Lambda-Kalkülen besprochen.
Literatur
|
