1. 首页
  2. 编程语言
  3. 其他
  4. Basic Simple Type Theory

Basic Simple Type Theory

上传者: 2019-07-17 09:00:00上传 PDF文件 1.58MB 热度 30次
TypeTheory入门好书Type-theoryisoneofthemostimportanttoolsinthedesignofhigher-levelprogramminglanguages,suchasML.Thisbookintroducesandteachesitstechniquesbyfocussingononeparticularlyneatsystemandstudyingitindetail.Inthisway,allthekeyideasarecoveredwithoutgettinginvolvedinthecomplicat
用户评论