Proseminar/Seminar - Fun of Haskell Programming

im Wintersemester 2011/12

Veranstalter: Arbeitsgruppe Parallelität und Programmiersprachen

Termine:

Donnerstags 12 Uhr, Hörsaal V (Lahnberge)

14.07.2011, 13.00 - 13.30 Uhr, Seminarraum V, Ebene D5, Lahnberge	1. Vorbesprechung
20.10.2011, 12.15 - 13.00 Uhr, Hörsaal V, Ebene A4, Lahnberge	2. Vorbesprechung
15.02.2012, 9.00 Uhr, Seminarraum V	Vorträge (Block)

 

Voraussetzungen:

Haskell-Grundkenntnisse wie sie in der Vorlesung Konzepte von Programmiersprachen (Praktische Informatik III) vermittelt werden.

Materialien:

• Merkblatt

• Vorlage der Ausarbeitung

• Folien: Latexeinführung

Links:

• Latex Beamer Einführung: http://www.math.umbc.edu/~rouben/beamer
  
• Functional Pearls: http://www.haskell.org/haskellwiki/Research_papers/Functional_pearls

Vergebene Themen

• Universalität und Ausdrucksstärke von Fold (Proseminar)
  Vortragender: Rene Frank
  Betreuerin: Prof. Dr. Rita Loogen
  

Literatur: Graham Hutton. A tutorial on the universality and expressiveness of fold. Journal of Functional Programming, 9:355-372, 1993.

• Arithmetische Kodierung (Seminar)
  Vortragender: Andreas Voeth
  Betreuer: Thomas Horstmeyer
  

Richard Bird. Pearls of Functional Algorithm Design, chapter Rational arithmetic coding, pages 198-207. Cambridge University Press, 2010.

Richard Bird. Pearls of Functional Algorithm Design, chapter Integer arithmetic coding, pages 208-220. Cambridge University Press, 2010.

• Programmieren mit Arrows
  Vortragender: Gregor Bonifer
  Betreuerin: Prof. Dr. Rita Loogen
  

John Hughes. Programming with arrows. In Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures, volume 3622 of Lecture Notes in Computer Science, pages 73-129. Springer, 2005.

• Die Par Monade
  Vortragender: Raphael Päbst
  Betreuer: Mischa Dieterle
  

Simon Peyton Jones Simon Marlow, Ryan Newton. A monad for deterministic parallelism. In Haskell Symposium 2011, 2011.

• Streams
  Vortragender: Philipp Schefzyk
  Betreuer: Oleg Lobachev
  

M. Douglas McIlroy. Power series, power serious. Journal of Functional Programming, 9(03):325-337, 1999.

M. Douglas McIlroy. The music of streams. Information Processing Letters, 77(2-4):189 - 195, 2001.

Themenvorschläge

Offene Proseminarthemen

• Hylomorphismen und Nexusse

Richard Bird. Pearls of Functional Algorithm Design, Kapitel: Hylomorphisms and nexuses, Seiten 168-179. Cambridge University Press, 2010. 

• Das Rush Hour Problem

Richard Bird. Pearls of Functional Algorithm Design, chapter Planning solves the Rush Hour problem, pages 136-146. Cambridge University Press, 2010.

• Quick Check

Richard Bird. Pearls of Functional Algorithm Design, chapter Planning solves the Rush Hour problem, pages 136-146. Cambridge University Press, 2010.

Offene Seminar- / Proseminar- Themen

• "Loopless" Algorithmen 

Richard Bird. Pearls of Functional Algorithm Design, chapter Loopless functional algorithms, pages 242-250. Cambridge University Press, 2010.

Richard Bird. Pearls of Functional Algorithm Design, chapter The Johnson-Trotter algorithm, pages 251-257. Cambridge University Press, 2010. 

• Das Countdown Problem

Richard Bird. Pearls of Functional Algorithm Design, chapter The Contdown Problem, pages 150-167. Cambridge University Press, 2010.

Graham Hutton. The countdown problem. Journal of Functional Programming, 12(6):609-616, November 2002.

• Every bit counts

Dimitrios Vytiniotis and Andrew J. Kennedy. Functional pearl: every bit counts. In Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP '10, pages 15-26, New York, NY, USA, 2010. ACM.  

• Typesave Cast
  

Stephanie Weirich. Type-safe cast: (functional pearl). In Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, ICFP '00, pages 58-67, New York, NY, USA, 2000. ACM.

• Typing Haskell in Haskell
  

Mark P. Jones. Typing haskell in haskell. In Proceedings of the 1999 Haskell Workshop, 1999.

• Packrat Parsen

Bryan Ford. Packrat parsing: Simple, powerful, lazy, linear time. In Proceedings of the 2002 International Conference on Functional Programming, Oct 2002.

• Nichtdeterminismus und Probabilistisches Programmieren

Sebastian Fischer, Oleg Kiselyov, and Chung-chieh Shan. Purely functional lazy non-deterministic programming. SIGPLAN Not., 44:11-22, August 2009.

M. Erwig and S. Kollmansberger. Functional pearls: Probabilistic functional programming in haskell. Journal of Functional Programming, 16(01):21-34, 2006.

• Monad Transformers

Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, and Amr Sabry. Backtracking, interleaving, and terminating monad transformers: (functional pearl). In Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, ICFP '05, pages 192-203, New York, NY, USA, 2005. ACM.