Back to the FAQ /
Home
Is there any course material available for lambda Prolog?
Leavens's course
Gary
Leavens used lambda Prolog in his course on Programming
Languages. His course material no longer seems available via the
web.
Nadathur's course
Gopalan Nadathur
prepared this outline
to a course he gave on ``Higher-Order Logic Programming''in Munich
during the summer of 1995.
Miller's course
Dale Miller
presented a third year undergraduate course titled
``CSE 360: Logic and Computation'' during Spring 1995. Part of that
course was on lambda Prolog. See the
syllabus covering part of that class.
If you have written course material that could be listed here, please
contact dale.miller @ inria.fr
Back to the FAQ /
Home