Verified Functional Programming in Agda

by

  • Publisher: ACM Books
  • Print ISBN: 9781970001242, 1970001240

  • eText ISBN: 9781970001266, 1970001267