Ta上传的资源 (0)

TypeTheory入门好书Type-theoryisoneofthemostimportanttoolsinthedesignofhigher-levelprogramminglanguages,suchasML.Thisbookintroducesandteachesitstechniquesb