Meta Topics|Advanced Topics

Software Technology: Polymorphism and Higher Order Data

Assumed Knowledge:
Learning Outcomes:
  • Work with Polymorphism and Higher Order Data in Coq

All the material for this topic is contained in the Polymorphism and Higher Order Data chapter of Software Foundations.