Vorbesprechung mit Themenvergabe: Mi 18.10.2006, 16.15 Uhr, HS I, Ebene D3, Lahnberge
Es sind noch Themen zu vergeben. Bitte wenden Sie sich bei Interesse an Frau Prof. Dr. Loogen.
Beginn: 6. Dezember 2006

Programmierstile

1. 6. 12. 2006; Matthias Stemmler: Kombination strikter und nicht-strikter Programmierung
   • Ben Rudiak-Gould, Alan Mycroft, Simon Peyton Jones: Haskell is Not Not ML, ESOP 2006, LNCS 3924, pp.38-53, Springer Verlag 2006.
2. Achtung: Der folgende Vortrag entfällt: 13. 12. 2006; Sebastian Schmidt: O'Haskell: Subtypen und Polymorphie

Typen

3. Achtung: Der folgende Vortrag entfällt: 10. 01. 2007; Sebastian Wagner: Überladung und Polymorphie höherer Ordnung
   • Mark P. Jones: Functional Programming with Overloading and Higher-Order Polymorphism. First International Spring School on Advanced Functional Programming Techniques, B{\aa}stad, Sweden, Springer-Verlag Lecture Notes in Computer Science 925, May 1995.
4. Achtung: Der folgende Vortrag entfällt: 17.01.2007; Tobias Völzing: Funktionale Abhängigkeiten
   • Martin Sulzmann, Gregory J. Duck, Simon Peyton Jones, and Peter J. Stuckey: Understanding functional dependencies via Constraint Handling Rules. To appear in the Journal of Functional Programming.
   • Mark P. Jones: Type Classes with Functional Dependencies. In Proceedings of the 9th European Symposium on Programming, ESOP 2000, Berlin, Germany, March 2000, Springer-Verlag LNCS 1782.

Parallelität und Nebenläufigkeit

5. 31. 01. 2007; Bastian Hackler: Mobile Haskell
   • DU BOIS, A.R; TRINDER, P.W.; LOIDL, H-W. Towards Mobility Skeletons. In CMPP 2004, Stirling, Scotland, 2004.
   • DU BOIS, A.R; TRINDER, P.W.; LOIDL, H-W.; Implementing Mobile Haskell. TFP 2003, Edinburgh, UK.
6. 01. 02. 2007; Markus Fleischer: Software Transactional Memory in Haskell
   • Tim Harris, Simon Marlow, Simon Peyton Jones, Maurice Herlihy: Composable Memory Transactions. PPoPP'05: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Chicago, Illinois, June 2005.
   • Anthony Discolo, Tim Harris, Simon Marlow, Simon Peyton Jones, Satnam Singh: Lock Free Data Structures using STMs in Haskell. FLOPS 2006: Eighth International Symposium on Functional and Logic Programming, Fuji Susono, JAPAN, April 2006.
   • Tim Harris, Simon Peyton-Jones: Transactional memory with data invariants. March 2006 TRANSACT '06

1. O'Haskell: Subtypen und Polymorphie
   • Johan Nordlander: Reactive Objects and Functional Programming, Ph.D. thesis, Dept. of Computing Science, Chalmers University of Technology, Göteborg, Sweden, 1999.
2. Shared-Memory Multiprocessor Haskell
   • Tim Harris, Simon Marlow, Simon Peyton Jones: Haskell on a Shared-Memory Multiprocessor. Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, pages 49--61, Tallinn, Estonia, ACM Press, September 2005.
3. Data Parallel Haskell: Geschachtelte Daten-Parallelität in Haskell
   • Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, and Wolf Pfannenstiel: Nepal - Nested Data-Parallelism in Haskell. In Euro-Par 2001: Parallel Processing, 7th International Euro-Par Conference, Springer-Verlag, LNCS 2150, pp524-534, 2001.
   • Roman Lechtchinsky, Manuel M. T. Chakravarty, and Gabriele Keller: Higher Order Flattening. In Third International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2006), Springer-Verlag, LNCS, 2006.