海外直订Verified Functional Programming in Agda 作者:Stump, Aaron出版社:ACM Books出版时间:2016年01月 手机专享价 ¥ 当当价 降价通知 ¥1306 配送至 广东佛山市 至 北京市东城区 服务 由“中华商务进口图书旗舰店”发货,并提供售后服务。 加入购物车 中华商务进口图书旗舰店
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
Previous article in issue Next article in issue Keywords 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...