Record:   Prev Next
作者 Schmidt, David A., 1953-
書名 The structure of typed programming languages / David A. Schmidt
出版項 Cambridge, Mass. : MIT Press, c1994
國際標準書號 0262193493
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  D3.0 S349    在架上    30330000121363
說明 xiv, 367 p. : ill. ; 24 cm
系列 Foundations of computing
附註 Includes bibliographical references (p. [343]-360) and index
主題 Programming languages (Electronic computers)
Lambda calculus iisf
Functional languages iisf
Record:   Prev Next