Differences between revisions 3 and 4
Revision 3 as of 2011-10-03 00:26:32
Size: 308
Comment:
Revision 4 as of 2011-10-03 00:31:05
Size: 423
Comment:
Deletions are marked like this. Additions are marked like this.
Line 4: Line 4:
  * Funktionen Höherer Ordnung
  * Übungen zu Parsing
Line 5: Line 7:
  * Funktionen Höherer Ordnung
Line 14: Line 15:

=== Exkurse ===
  * Lambda-Kalkül
  * Formale Logik
  * Mathematik und Philosophie

Vorträge

Haskell-Grundlagen IV

  • Funktionen Höherer Ordnung
  • Übungen zu Parsing
  • Interaktion
  • Typdeklaration
  • Lazy Evaluation
  • Programmbeweis

Ausblick

  • Haskell-Vertiefung
  • Common LISP
  • Clojure

Exkurse

  • Lambda-Kalkül
  • Formale Logik
  • Mathematik und Philosophie

lugfrankfurt: Programmierworkshop/Haskell/termine/2011-12-17/verlauf (last edited 2011-12-28 18:30:22 by Harald Vajkonny)