Jump to main content

yr 〜
yr

Search results 6

型システム入門 : プログラミング言語と型の理論

型システム入門 : プログラミング言語と型の理論
PaperDigital図書
Benjamin C.Pierce 著, 住井英二郎 監訳, オーム社開発局 企画編集オーム社2013.3<M159-L99>
National Diet LibraryOther Libraries in Japan

Theoretical aspects of computer software : 4th international symposium, TACS 2001 : Sendai, Japan, October 29-31, 2001 : proceedings. : Oct 2001, Sendai, Japan. (Lecture Notes in Computer Science ; 2215)

Theoretical aspects of computer software : 4th international symposium, TACS 2001 : Sendai, Japan, October 29-31, 2001 : proceedings. : Oct 2001, Sendai, Japan. (Lecture Notes in Computer Science ; 2215)
Paper図書
Springerc2001.<M17-03-2370>
National Diet Library
  • Author HeadingKobayashi, Naoki. Pierce, Benjamin C. TACS 2001 (2001 : Sendai-shi,...

Advanced topics in types and programming languages

Advanced topics in types and programming languages
Paper図書
Benjamin C. Pierce, editorMIT Pressc2005
Other Libraries in Japan
  • Author HeadingPierce, Benjamin C.

Types and programming languages : hc

Types and programming languages : hc
Paper図書
Benjamin C. PierceMIT Pressc2002
Other Libraries in Japan
  • Author HeadingPierce, Benjamin C.

Theoretical aspects of computer software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings

Theoretical aspects of computer software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings
Paper図書
Naoki Kobayashi, Benjamin C. Pierce (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingTACS Pierce, Benjamin C. Kobayashi, Naoki

Basic category theory for computer scientists

Basic category theory for computer scientists
Paper図書
Benjamin C. PierceMIT Pressc1991
Other Libraries in Japan
  • Author HeadingPierce, Benjamin C.

Reached to the end of result.

RSS