[Vorherige Ausgabe: https://www8.cs.fau.de/teaching/ws21/mbp/ ]

[StudOn-Kurs: https://www.studon.fau.de/studon/goto.php?target=crs_4941835]

Dozent	Sergey Goncharov
Vorlesung/Übungen	Mi 12:15 – 13:45, 02.133-113; Do 16:15 – 17:45, 02.133-113
Zielgruppe	WF M-BA ab 3 (ECTS-Credits: 7,5) WPF INF-BA-V-THI ab 4 (ECTS-Credits: 7,5) WPF INF-MA ab 1 (ECTS-Credits: 7,5) WF M-MA ab 1 (ECTS-Credits: 7,5)

(Geeignet als WPF für Nebenfach Informatik in verschiedenen Studiengängen, insbesondere Mathematik.)

Kursbeschreibung

Übungsblätter

Assignment 1; Supplementing code: bt.hs; Deadline: Mai, 04
Assignment 2; Code Template: natural_deduction_template.hs; Deadline: Mai, 18 25 (Frist verlängert)
Assignment 3; Deadline: Juni, 8 14 (Frist verlängert)
Assignment 4; Deadline: Juni, 22
Assignment 5; Code sample: erriosdemo.hs, Deadline: Juli, 6
Assignment 6; Deadline: Juli, 20

Weitere Vorlesungsunterlagen

Class190423.hs (Haddock-extracted comments)
Class240523.hs
Class140623.hs
Class130723.hs

Ressourcen

Eine inoffizielle Mitschrift
Hoogle: a Haskell API search engine
Quick introduction to Haskell in one Video, with a Cheat Sheet
Monad-based parsing in Haskell

Literatur

Andrew M. Pitts, Lecture Notes on Denotational Semantics.
John C. Mitchell, Foundations for Programming Languages.
Glynn Winskel, The Formal Semantics of Programming Languages: An Introduction
Marco Block, Adrian Neumann, Haskell Intensivkurs: ein kompakter Einstieg in die funktionale Programmierung (elektronische Ausgabe über Bibliothek FAU)
Bryan O’Sullivan, Don Stewart, John Goerzen, Real World Haskell