adamc@39: adamc@39: Certified Programming with Dependent Types adamc@39: adamc@39: adamc@39:

Certified Programming with Dependent Types

adamc@39: adamc@39:
  • Introduction adamc@39:
  • Some Quick Examples adamc@57:
  • Introducing Inductive Types adamc@56:
  • Inductive Predicates adamc@62:
  • Infinite Data and Proofs adamc@70:
  • Subset Types and Variations adamc@39: adamc@39: