Verified functional programming in Agda

Title Statements

• Full title :Verified functional programming in Agda / Aaron Stump, the University of Iowa.

Edition Statements

• Publication Date:2016
• Edition:First edition

Publication Statements

• Publisher(s):Morgan et Claypool Publishers
• Place of Publication:London
• Language:eng
• Publication Date:2016

The Physical Object

• Description:XXIV, 258 Seiten : : Illustrationen

Edition Identifiers

• ISBN:9781970001273, 1970001275, 9781970001242, 1970001240
• oclc:on1024139216

Subjects

Writers

More from this Series

• Computational prediction of protein complexes from protein interactio…

  2017.

  more →

  

• Computational prediction of protein complexes from protein interactio…

  ©2017

  more →

  

• Computational prediction of protein complexes from protein interactio…

  2017.

  more →

  

• Text data management and analysis

  2016

  more →

  

• Text data management and analysis

  2016

  more →