Nächste Seite:
Semantik
Aufwärts:
Zusammenfassung
Vorherige Seite:
Zusammenfassung
Methoden
Inferenzsysteme
Lambda-Kalkül
(algebraischen Datentypen, Pattern Matching, Funktionen höherer Ordnung)
Monaden
Johannes Waldmann 2013-01-31
