Verified Functional Programming in Agda

Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Programming Languages, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Verified Functional Programming in Agda

More books from Association for Computing Machinery and Morgan & Claypool Publishers

bigCover of the book Shared-Memory Parallelism Can be Simple, Fast, and Scalable by

bigCover of the book The Sparse Fourier Transform by

bigCover of the book Text Data Management and Analysis by

bigCover of the book A Framework for Scientific Discovery through Video Games by

bigCover of the book Frontiers of Multimedia Research by

bigCover of the book Reactive Internet Programming by

bigCover of the book Embracing Interference in Wireless Systems by

bigCover of the book Smarter Than Their Machines by

bigCover of the book The Handbook of Multimodal-Multisensor Interfaces, Volume 2 by

bigCover of the book Declarative Logic Programming by

bigCover of the book Edmund Berkeley and the Social Responsibility of Computer Professionals by

bigCover of the book Candidate Multilinear Maps by

bigCover of the book Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers by

bigCover of the book Communities of Computing by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy