15-819K Logic Programming
Lecture 9: Types

• Reading: Lecture Notes
• Code: none
• Concepts:
  • Nominal types
  • Signature
  • Contexts
  • Typing judgments
  • Well-typed substitutions
  • Type preservation
  • Phase distinction
• Previous lecture: Completion
• Next lecture: Polymorphism

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

fp@cs
Frank Pfenning