Commentary on Standard ML

このページのQRコード

種類:

図書

責任表示:

Robin Milner and Mads Tofte

出版情報:

Cambridge, Mass. : MIT Press, c1991

著者名:

ISBN:

9780262132718 [0262132710]

9780262631372 [0262631377] (: pbk)

注記:

Companion to: The definition of Standard ML / Robin Milner, Mads Tofte, and Robert Harper
Includes index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	ML (Computer program language)
分類・件名:	NDC7 : 549.92 LCSH : ML (Computer program language)
TTLL:	eng
言語:	英語
形態:	160 p. : ill. ; 24 cm
書誌ID:	BA11747169

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 The definition of standard ML : revised Milner, Robin, 1934- MIT Press	7 図書 Elements of ML programming Ullman, Jeffrey D., 1942- Prentice Hall
2 図書 Concurrent programming in ML Reppy, John H. Cambridge University Press	8 図書 ML with concurrency : design, analysis, implementation, and application Nielson, Flemming, 1955- Springer
3 図書 Modern compiler implementation in ML Appel, Andrew W., 1960- Cambridge University Press	9 図書 Proof, language, and interaction : essays in honour of Robin Milner Plotkin, G. (Gordon), 1946-, Stirling, Colin P., Tofte, Mads, Milner, R. (Robin), 1934- MIT Press
4 図書 ML for the working programmer Paulson, Lawrence C. Cambridge University Press	10 図書 A calculus of communicating systems Milner, Robin, 1934- Springer-Verlag
5 図書 Elements of ML programming Ullman, Jeffrey D., 1942- Prentice Hall	11 図書 Communication and concurrency Milner, Robin, 1934- Prentice Hall
6 図書 ML for the working programmer Paulson, Lawrence C. Cambridge University Press	12 図書 The Vienna development method : the meta-language Bjørner, D. (Dines), 1937-, Jones, Cliff B., 1944- Springer-Verlag