Review on Verified Functional Programming in Agda: By Aaron Stump ACM, ISBN: 978-1-97000-126-6, 246 pages, 2016doi:10.1145/3641886Matteo PradellaFormal Aspects of Computing
Information Flow Control Non Interference Functional Programming Haskell Agda 1. Introduction Nowadays, many applications (apps) manipulate users' private data. Such apps could have been written by anyone and users who wish to benefit from their functionality are forced to grant them access to their ...