类型系统

  • DanielP.Friedman
  • Anintroductiontodependenttypes,demonstratingthemostbeautifulaspects,onestepatatime.Aprog...

类型系统相关书籍

刑法立法类型化研究 电子书
本书以“刑法立法类型化”为主题,开篇对类型思维作为一种立法方法论的问题导向、理论源起、学史综述进行梳理,再围绕刑法类型化改造的功能定位、生成逻辑、边界限度及其实践运用进行具体展开。
缔约过失构成与类型 电子书
本书挖掘了缔约过失的学说起源以及在德国法上的确立与发展,解释了德国法上缔约过失制度产生与扩张的原因;基于缔约过失一般构成,解释出违反保护义务、中断缔约、合同效力阻碍以及过失违反说明义务的缔约过失责任等类型。
特殊类型断指再植技术与实例 电子书
本书是一部实用性很强的图谱性专著,编者参考国内外文献,结合自己多年临床经验和研究成果编写而成。
华语青春电影类型学研究 电子书
该书稿主要探讨了青春电影类型学概念、华语青春电影与美国青春电影的比较、中国大陆青春电影的道德意识与自我意识的觉醒、台湾青春电影后现代情境下的青春价值观、香港青春电影的青春消费文...
城市总体规划 电子书
本书介绍了怎样编制城市总体规划,并对城市的起源、发展和城市规划的一些基本概念进行了系统而简要的阐述。全书共分六章,包括绪论、城市总体规划的编制、城市性质、城市规模、城市规划布局、数字化时代的城市总体规划。
计算机系统开发与优化实战 电子书
本书结合ARM、Linux和人工智能,讲述计算机系统软件和硬件开发。