Billede af bogens forside - Verified Functional Programming in Agda

Verified Functional Programming in Agda

af Aaron Stump

Bog, Hardback, Engelsk, 2016

Provides a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. The book begins with an introduction to functional programming. More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included.

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingHardback
  • ISBN9781970001273
  • Udgivet29/02/2016
  • Udgivet afMorgan & Claypool Publishers
  • Længde284 sider
  • ForfatterAaron Stump
  • GenreBusiness og læring, Computer og IT