《The Little Typer》txt下载在线阅读全文,求百度网盘云资源
发布网友
发布时间：2023-04-13 00:58
共1个回答
热心网友
时间：2023-10-30 18:34
《The Little Typer》（Daniel P. Friedman/David Thrane Christiansen/Duane Bibby/Robert Harper/Conor Mcbride）电子书网盘下载免费在线阅读
链接: https://pan.baidu.com/s/1BjbrGBh7-5pSKIrgERibAg
书名：《The Little Typer》
作者：Daniel P. Friedman/David Thrane Christiansen/Duane Bibby/Robert Harper/Conor Mcbride
豆瓣评分：9.5
出版社：MIT Press
出版年份：2018-10-16
页数：424
内容简介：An introction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe.
作者简介：Daniel P. Friedman is Professor of Computer Science in the School of Informatics, Computing, and Engineering at Indiana University and is the author of many books published by the MIT Press, including The Little Schemer and The Seasoned Schemer (with Matthias Felleisen); The Little Prover (with Carl Eastlund); and The Reasoned Schemer (with William E. Byrd, Oleg Kiselyov, and Jason Hemann).
