Verified functional programming in Agda

Author(s)

    • Stump, Aaron

Bibliographic Information

Verified functional programming in Agda

Aaron Stump

（ACM books, #9）

Association for Computing Machinery , , c2016

  • : hard

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books： 1-1 of 1

  • ACM books

    Morgan & Claypool Publishers

    Available at 1 libraries

Details

  • NCID
    BC06952119
  • ISBN
    • 9781970001273
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    [New York],[San Rafael, Calif.] Morgan & Claypool Publishers
  • Pages/Volumes
    xxiv, 258 p.
  • Size
    25 cm
  • Parent Bibliography ID
Page Top