FP: Gesamt
Sammelfeed "Funktionale Programmierung"
Dies ist ein gesammelter RSS-Feed zur Vorlesung "Funktionale Programmierung" mit Terminen, Ankündigungen und Materialien.
Artikeltyp | Titel | Beschreibung | Freigabedatum | Anfangsdatum | Änderungsdatum |
---|---|---|---|---|---|
Termin | 30.10. Nachtermin Projektpräsentation | Abnahme Miniprojekt (Ersatztermin) | 01.10.2012 16:35 | 30.10.2012 10:00 | 17.10.2012 14:03 |
Termin | Vorlesungsnachsitzung | Gaststaettenbesuch im Rahmen der Vorlesung Funktionale Programmierung. | 23.07.2012 17:33 | 23.07.2012 19:00 | 23.07.2012 17:33 |
Termin | ICFP Programmierwettbewerb | 12.07.2012 10:43 | 14.07.2012 12:00 | 12.07.2012 10:43 | |
Datei | Skript 17: Korrektheit von Fusion | Keiner | 09.07.2012 18:07 | ||
Nachricht | FP: Abgabe8 verlängert | Blatt 08 Abgabe bis 12.07. 16h | 05.07.2012 16:34 | 05.07.2012 16:34 | |
Datei | Übung 09 | Keiner | 05.07.2012 16:10 | ||
Datei | Skript 16: Equality in Agda | Keiner | 03.07.2012 14:06 | ||
Datei | Skript 15: Types and Universes in Agda | Keiner | 03.07.2012 09:36 | ||
Datei | Blatt 8 | Keiner | 28.06.2012 15:57 | ||
Datei | Foliensatz 14 Yesod (Teil 2 & 3) | Yesod: Formulare, Sessions Persistenz; sowie Records, Control.Applicative, GADTs | Keiner | 26.06.2012 15:18 | |
Datei | Folien 13 Template Haskell & Yesod | Template Haskell und der erste Vorlesungsteil zu Yesod | Keiner | 21.06.2012 16:05 | |
Datei | Übung 07 TemplateHaskell & Yesod | Übungsblatt zu Template Haskell & Yesod. zip -Datei mit zwei Haskell-Files | Keiner | 21.06.2012 15:23 | |
Datei | Übung 06 Teil 2 | Funktionale Programmierung Übung 06 Teil 2 Agda | Keiner | 14.06.2012 12:23 | |
Datei | Übung 06 Teil 1 | Funktionale Programmierung Übung 06 Teil 1 QuickCheck | Keiner | 14.06.2012 12:21 | |
Datei | Monad Transformers | Funktionale Programmierung Beispiele zu Monadenkomposition (.hs Datei) | Keiner | 12.06.2012 14:40 | |
Datei | Vorlesung 12 (.agda Datei) | Funktional Programmierung Vorlesung 12 Demo | Keiner | 12.06.2012 14:37 | |
Datei | Skript 12 Dependent Types | Funktionale Programmierung Skript Dependent Types | Keiner | 12.06.2012 14:36 | |
Datei | Folien 11 Testen mit QuickCheck (.lhs Quellcode) | Funktionale Programmierung Folien 11 Testen mit QuickCheck (.lhs Quellcode) | Keiner | 11.06.2012 19:52 | |
Datei | Folien 11 Testen mit QuickCheck | Funktionale Programmierung Folien 11 Testen mit QuickCheck | Keiner | 11.06.2012 19:51 | |
Datei | Übung 05 | Übungsblatt 05: Parallelität | Keiner | 31.05.2012 16:00 |
Artikelaktionen