Verified functional programming in Agda

Title Statements

• Full title :Verified functional programming in Agda / Aaron Stump.

Edition Statements

• Publication Date:copyright © 2016.

Publication Statements

• Publisher(s):Association for Computing Machinery, Association for Computing Machinery, Morgan & Claypool, Morgan & Claypool Publishers
• Place of Publication:New York
• Language:eng
• Publication Date:copyright © 2016.

The Physical Object

• Description:XXIV, 258 stron : : ilustracje ; : 24 cm.

Edition Identifiers

• ISBN:9781970001242, 1970001240, 9781970001273, 1970001275, 9781970001259, 1970001259, 9781970001266, 1970001267
• oclc:on1091276153

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 →