15-819K Logic Programming
Lecture 10: Polymorphism

• Reading: Lecture Notes
• Code: none
• Concepts:
  • Heterogeneous and homogeneous lists
  • Type preserving function symbols
  • Parametric predicates
  • Polymorphic residuation
  • Parametric and ad hoc polymorphism
• Previous lecture: Types
• Next lecture: Difference Lists

[ Home | Schedule | Assignments | Handouts | Software | Resources ]

fp@cs
Frank Pfenning