Articles from March 2016
Aaron Stump publishes book on advanced programming language Agda (updated)
Tuesday, March 22, 2016
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.