Ulrich Berger

CS_221 Functional Programming 1
CS_M36 Functional Programming and Interactive Theorem Proving

Autumn 2006

• Lectures: Wednesday, 9-10 am, Glyndwr C, Thursday, 4-5 pm, Wallace, Joint Lecture Theatre.
  Start: Wednesday, 4th of October.
  Course material will be available soon.
  
• Computer laboratories: TBA


• Some recommended Books:
  
  • Paul Hudak:
    The Haskell School of Expression. Learning Functional Programming Through Multimedia
    Cambridge University Press, 2000
    ISBN 0-521-64408-9
    
    
  • Richard Bird:
    Introduction to Functional Programming using Haskell.
    Prentice Hall Series in International Computer Science.
    Prentice Hall, 1998.
    ISBN 0-13-484346-0
    
    
  • Simon Thompson:
    Haskell: The Craft of Functional Programming
    Second edition
    Addison-Wesley Publishing Company, 1999
    ISBN 0-201-34275-8
    
    
  • Antony J. T. Davie:
    An Introduction to Functional Programming Systems Using Haskell
    Cambridge University Press, 1992
    ISBN 0-521-27724-8
    
    
  • Jeremy Gibbons and Oege de Moor:
    The Fun of Programming (advanced)
    Palgrave Macmillan, 2003
    ISBN0-333-99285-7
    
    
  • More books and tutorials at The Haskell Bookshelf