Basic Simple Type Theory
TypeTheory入门好书Type-theoryisoneofthemostimportanttoolsinthedesignofhigher-levelprogramminglanguages,suchasML.Thisbookintroducesandteachesitstechniquesbyfocussingononeparticularlyneatsystemandstudyingitindetail.Inthisway,allthekeyideasarecoveredwithoutgettinginvolvedinthecomplicat
下载地址
用户评论
