Monats-Archive: Oktober 2010

Zwischen Marvin und RoboCup: funktionale Roboter

Publiziert am 28. Oktober 2010 von menge

[ 3. November 2010; 16:15 bis 17:15. ] Am Mittwoch, den 3.11. um 16:15h wird Christoph Schubert uns über das Programmieren von Robotern auf Basis von Arrows berichten.

Wir treffen uns wie immer am Lehrstuhl für Software-Technologie im Raum 305 des GB4.

Veröffentlicht unter Allgemein | Verschlagwortet mit , , | Hinterlasse einen Kommentar

Webprogrammierung mit Haskell

Publiziert am 18. Oktober 2010 von menge

[ 20. Oktober 2010; 16:00 bis 17:00. 16:00 bis 17:00. ] Am kommenden Mittwoch, den 20.10.2010, erzählt uns Jan Bessai etwas über “Webprogrammierung mit Haskell”. Wir treffen uns wie immer um 16:15 im Besprechungsraum des Lehrstuhls für Softwaretechnologie.

“Der aktuell stattfindende Paradigmenwechsel, weg von lokalen Anwendungen, hin
zu Webanwendungen, eröffnet neue Anforderungen und Chancen, die auch
in der Programmierung zu einem Paradigmenwechsel führen könnten. Nach einer
kurzen Einführung in die [...]

Veröffentlicht unter Allgemein | Hinterlasse einen Kommentar

PFP: Erwig’s Bibliothek für probabilistische funktionale Programmierung

Publiziert am 4. Oktober 2010 von menge

[ 6. Oktober 2010; 16:15 bis 17:15. 16:15 bis 17:15. 16:15 bis 17:15. 16:15 bis 17:15. 16:15 bis 17:15. ] Am Mittwoch, den 06.10.2010 um 16:15 trägt Dr. Hubert Wagner über probabilistisches funktionales Programmieren vor. Wir treffen uns wie üblich im Raum 305 am Lehrstuhl 10.

Hier der Abstract des Original-Papiers und zwei Links:
At the heart of functional programming rests the principle of referential transparency, which in particular means that a function f applied to a [...]

Veröffentlicht unter Allgemein | Hinterlasse einen Kommentar