Seminar Funktionale Programmiertechniken

Sommersemester 2007
Lehrstuhl für Programmiersprachen und Übersetzerkonstruktion

Vorträge:

21.5.07: Heiko Hoffmann: WASH: Web-Programmierung mit Haskell

• WASH Homepage
• Peter Thiemann: WASH/CGI: Server-side Web Scripting with Sessions and Typed, Compositional Forms. 4th International Symposium on Practical Aspects of Declarative Languages (PADL 2002), pp. 192-208, Springer LNCS 2257 PDF
• Peter Thiemann: An embedded domain-specific language for type-safe server-side Web-scripting. ACM Transactions on Internet Technology, 5(1):1-46, 2005. PDF
• Peter Thiemann: WASH Server Pages. Proc. of the 8th International Symposium on Functional and Logic Programming (FLOPS 2006), pp. 277-293, Springer LNCS 3945 PDF

11.6.07: Björn-Peter Tietjens: Funktionale XML-Verarbeitung

• HaXml Homepage
• M. Wallace and C. Runciman: Haskell and XML: Generic Combinators or Type-Based Translation? Proc. ICFP'99 PS

18.6.07: Axel Stronzik: Logikprogrammierung mit Haskell

• S. Seres, M. Spivey, T. Hoare: Algebra of Logic Programming. Proc. ICLP'99, MIT Press, 1999 PDF
• M. Spivey, S. Seres: Combinators for logic programming. In: The Fun of Programming (J. Gibbons, O. De Moor, eds.), pp. 177-199, 2003
• S. Seres: The algebra of logic programming. Ph.d. thesis, Oxford University, 2001. PDF