Have a personal or library account? Click to login
Verified Functional Programming in Agda Cover

Verified Functional Programming in Agda

Publisher:Association for Computing Machinery
By: Stump Aaron  
Paid access
|Feb 2016
Product purchase options

Authors

Aaron, Stump

reference-global.comGoogle 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: 2016
Language: English
Pages: 284
Related subjects:
Computer sciences,
Computer sciences, other

People also read

Functional Programming with Go
Book

Functional Programming with Go

Amrit Pal Singh
Formal Verification of Just-in-Time Compilation
Book

Formal Verification of Just-in-Time Compilation

Aurèle Barrière
Learning Functional Programming in Go
Book

Learning Functional Programming in Go

Mastering Functional Programming
Book

Mastering Functional Programming

Discrete Mathematics and Functional Programming
Book

Discrete Mathematics and Functional Programming

Thomas VanDrunen
Effective Theories in Programming Practice
Book

Effective Theories in Programming Practice

Misra Jayadev
Formal Language
Book

Formal Language

Adam Brooks Webber
Applied Functional Programming in Scala
Book
Coming soon

Applied Functional Programming in Scala

Virendra Kumar Mishra
Functional Programming in Go.
Book

Functional Programming in Go.

Dylan Meeus
Soar with Haskell
Book

Soar with Haskell

Tom Schrijvers