Higher-order functional programming (hfp06a)

• Subscription to the mailing list mfp-l@iit.bme.hu of the course here.
• Course sheet: HTML, PDF.
• Classes: Mondays 12.15-14.00 and Tuesdays 10.15-12.00. Meeting point for the lectures in front of the office IL.416.
• Slides of the lectures delivered in Autumn 2006
• First SML-part of the HFP lectures .pdf (1 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (4 dia/lap)
• Second SML-part of the HFP lectures .pdf (1 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (4 dia/lap)
• Alice Alice Manual, Alice Constraint Programming Tutorial ,
• Constraint programming (M. Kuhlmann, G. Tack) PDF 6/A4, PDF 1/A4
• Homeworks
• First homeworks
  1. Install mosml, start it, evaluate several simple expressions, analyse and understand the answers.
  2. Write a recursive function which produces the sequence 5, 8, 11, 14, 17, 20, ... . The function's single argument defines the length of the sequence.
  3. Sum and diff triplets (html)
  4. Small-headed (html)
  5. Task sheet (pdf)
• More homeworks
  1. toList (html)
  2. minF (html)
• Big homework
  • Mines (html)
  • Frame programs and test data (zip)