Articles from March 2016

Aaron Stump publishes book on advanced programming language Agda (updated)

Prof. Aaron Stump has just published a book entitled Verified Functional Programming in Agda, with the new ACM Books series from the ACM. In this book, Prof.