Skip to main content

Verified Functional Programming in Agda Cover

Verified Functional Programming in Agda

Publisher:Association for Computing Machinery

By: Stump Aaron

Paid access

|Feb 2025

E-Book €61.00Institutions €183.00

E-Book €61.00Institutions €183.00

Authors

Aaron, Stump

reference-global.com Google Scholar

PDF ISBN: 978-1-970001-25-9 | E-Pub ISBN: 978-1-970001-26-6

Publisher: Association for Computing Machinery

Copyright owner: © 2016 Association for Computing Machinery

Publication date: 2025

Language: English

Pages: 284

Related subjects:

Computer sciences,

Computer sciences, other

People also read

.blurhash-client-img { display: none !important; }

Formal Verification of Just-in-Time Compilation

Aurèle Barrière

.blurhash-client-img { display: none !important; }

Applied Functional Programming in Scala

Virendra Kumar Mishra

.blurhash-client-img { display: none !important; }

Discrete Mathematics and Functional Programming

Thomas VanDrunen

.blurhash-client-img { display: none !important; }

Effective Theories in Programming Practice

.blurhash-client-img { display: none !important; }

Formal Language

Adam Brooks Webber

.blurhash-client-img { display: none !important; }

Learning Functional Programming in Go

.blurhash-client-img { display: none !important; }

Mastering Functional Programming

Anatolii Kmetiuk

.blurhash-client-img { display: none !important; }

Modern Programming Languages: 2nd Edition

Adam Brooks Webber

.blurhash-client-img { display: none !important; }

Formal Methods for Safe Autonomy

.blurhash-client-img { display: none !important; }

Haskell Cookbook