Handouts

Introduction to FLP

Slides (PDF)
Slides (1x4 ps for printing)
Ex. solutions (curry)

Rewriting

Slides (PDF)
Slides (1x4 ps for printing)
Exercise 3 (curry)
Exercise 5 (curry)
Exercise 6 (curry)
Exercise 9b (curry)

Typing

• Basic polymorphic typechecking, (local copy),
  Luca Cardelli, Science of Computer Programming, 8(2), 1987.
• Lecture notes on type inference, (local copy),
  Michael I. Schwartzbach.

Narrowing

Slides
Slides (1x4 ps for printing)
Programming with Narrowing (draft tutorial, PDF)
Exercise 5 (Curry solution)
Exercise 9 (Curry solution)
Exercise 10 (Curry solution)

Some Patterns

• Constrained Constructor, read up to Section 3.1 included of the following paper.
  Homework: propose a simple problem that can be conveniently implemented using the Constrained Constructor pattern. State the problem in English and code it in Curry.
• Concurrent Distinct Choices, paper.
• Monads, lecture notes by Noel Winstanley.
  Homework: Problem C of the 1993 East-Central Regionals of the ACM Programming Contest. .

Strategies

Slides
Slides (1x4 ps for printing)
Evaluation Strategies for Functional Logic Programming (local copy)

Input and Output

Slides
Slides (1x4 ps for printing)
Example program

Graphial user interface programming

Guest lecture at PSU by Prof. Michael Hanus on Feb. 28, 2008.

Slides
counter.curry
temperature.curry
calc.curry

Contact: antoy@cs.pdx.edu
Last updated: Mon Mar 17 9:41:48 PDT 2008