>> Google Books

Isomorphisms of types : from λ-calculus to information retrieval and language design

フォーマット:
図書
責任表示:
Roberto Di Cosmo
言語:
英語
出版情報:
Boston : Birkhäuser, 1995
形態:
viii, 235 p. ; 25 cm
著者名:
Di Cosmo, Roberto, 1963- <DA0887683X>  
シリーズ名:
Progress in theoretical computer science <BA1282110X>
書誌ID:
BA24115780
ISBN:
9780817637637 [081763763X]  CiNii Books  Webcat Plus  Google Books
9783764337636 [376433763X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Basic simple type theory

Hindley, J. Roger

Cambridge University Press
7 図書 A transfinite type theory with type variables

Andrews, P. B. (Peter Bruce), 1937-

North-Holland
2 図書 LANG-PAK, an interactive language design system

Heindel, Lee E., Roberto, Jerry T.

American Elsevier Pub. Co.
8 図書 Polymorphic programming languages : design and implementation

Harland, D. M. (David Michael), 1955-

E. Horwood, Halsted Press
3 図書 Theoretical aspects of object-oriented programming : types, semantics, and language design

Gunter, Carl A, Mitchell, John C.

MIT Press
9 図書 Languages for parallel architectures : design, semantics, implementation models

Bakker, J. W. de (Jacobus Willem), 1939-

Wiley
4 図書 Types and programming languages

Pierce, Benjamin C.

MIT Press
10 図書 Coroutines : a programming methodology, a language design and an implementation

Marlin, Christopher D., 1952-

Springer-Verlag
5 図書 The structure of typed programming languages

Schmidt, David A., 1953-

MIT Press
11 図書 Programming languages, information structures, and machine organization

Wegner, Peter

McGraw-Hill
6 図書 The structure and design of programming languages

Nicholls, John E.

Addison-Wesley Pub. Co.
12 図書 Type-theoretical grammar

Ranta, Aarne

Clarendon Press, Oxford University Press