Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding | 東京工業大学附属図書館蔵書検索

>> Google Books

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding / ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, Alberto Momigliano, Randy Pollack, ACM Special Interest Group on Programming Languages., Association for Computing Machinery-Digital Library.

資料種別:

電子ブック

出版情報:

ACM Digital Library Proceedings
ACM, 2005

著者名:

ISBN:

9781595930729 [1595930728]

書誌ID:

OB00396915

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

その他の標題:	MERLIN '05
主題:	Information Technology - Computer Science (Hardware & Networks)
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Programming Languages., Association … ACM Digital Library Proceedings, ACM	7 電子ブック Proceedings of the 3rd International Workshop on Context-Oriented Programming Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering.; ACM Special … ACM Digital Library Proceedings, ACM
2 電子ブック Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice Momigliano, Alberto, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	8 電子ブック Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, ACM Special Interest Group on … ACM Digital Library Proceedings, ACM
3 電子ブック ACM SIGPLAN Commercial Users of Functional Programming Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Programming Languages., Association … ACM Digital Library Proceedings, ACM	9 電子ブック Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming ACM SIGPLAN International Workshop on Curry and Functional Logic Programming, ACM Special Interest Group on Programming … ACM Digital Library Proceedings, ACM
4 電子ブック Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools Anslow, Craig, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	10 電子ブック Proceedings of the 2005 ACM SIGPLAN workshop on Erlang ACM SIGPLAN Erlang Workshop, ACM Special Interest Group on Programming Languages., Association for Computing … ACM Digital Library Proceedings, ACM
5 電子ブック Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Programming Languages., Association … ACM Digital Library Proceedings, ACM	11 電子ブック Proceedings of the 2005 ACM SIGPLAN workshop on Haskell ACM SIGPLAN Haskell Workshop, ACM Special Interest Group on Programming Languages., Association for Computing … ACM Digital Library Proceedings, ACM
6 電子ブック Proceedings of the 3rd ACM SOSP Workshop on Networking, Systems, and Applications on Mobile Handhelds Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Operating Systems., Association for … ACM Digital Library Proceedings, ACM	12 電子ブック Proceedings of the 6th Workshop on Programming Languages and Operating Systems Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Operating Systems., Association for … ACM Digital Library Proceedings, ACM

1

2

3

4

5

6

7

8

9

10

11

12