close
1.

図書
図書
1. Types and programming languages (: hc)
Benjamin C. Pierce
出版情報: Cambridge, Mass. : MIT Press, c2002
所蔵情報: loading…
2.

図書
図書
2. Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
David Sands (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2028
所蔵情報: loading…
3.

図書
図書
3. Meta-level architectures and reflection : Second International Conference, Reflection'99 : Saint-Malo, France, July 19-21, 1999 : proceedings
Pierre Cointe (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1616
所蔵情報: loading…
4.

図書
図書
4. Theories of programming languages
John C. Reynolds
出版情報: Cambridge ; New York : Cambridge University Press, 1998
所蔵情報: loading…
5.

図書
図書
5. New trends in formal languages : control, cooperation, and combinatorics (: kart)
Gheorghe Păun, Arto Salomaa (eds.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1218
所蔵情報: loading…
6.

図書
図書
6. Object-oriented programming : a unified foundation
Giuseppe Castagna
出版情報: Boston : Birkhäuser, c1997
シリーズ名: Progress in theoretical computer science
所蔵情報: loading…
7.

図書
図書
7. Basic simple type theory (: hbk)
J. Roger Hindley
出版情報: Cambridge : Cambridge University Press, 1997
シリーズ名: Cambridge tracts in theoretical computer science ; 42
所蔵情報: loading…
8.

図書
図書
8. Isomorphisms of types : from λ-calculus to information retrieval and language design
Roberto Di Cosmo
出版情報: Boston : Birkhäuser, 1995
シリーズ名: Progress in theoretical computer science
所蔵情報: loading…
9.

図書
図書
9. The structure of typed programming languages
David A. Schmidt
出版情報: Cambridge, Mass. : MIT Press, c1994
シリーズ名: Foundations of computing
所蔵情報: loading…
10.

図書
図書
10. Theoretical aspects of object-oriented programming : types, semantics, and language design
edited by Carl A. Gunter and John C. Mitchell
出版情報: Cambridge, Mass. : MIT Press, c1994
シリーズ名: Foundations of computing
所蔵情報: loading…