Certified Programming with Dependent Types

by

  • Publisher: The MIT Press
  • Print ISBN: 9780262026659, 0262026651

  • eText ISBN: 9780262317887, 0262317885

  • Copyright year: 2013