Blank Cover Image

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice / Gilles Dowek, Association for Computing Machinery-Digital Library.

資料種別:
電子ブック
出版情報:
ACM Digital Library Proceedings
New York NY : ACM, 2016
著者名:
ISBN:
9781450347778 [1450347770]
書誌ID:
OB00402957
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Felty, Amy, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
7 電子ブック Proceedings of the Fifth Workshop on Programming Languages and Operating Systems

Muller, Gilles, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
2 電子ブック Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Cheney, James, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
8 電子ブック Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications

Brabrand, Claus, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
3 電子ブック Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice

Chlipala, Adam, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
9 電子ブック Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages

Katz, Shmuel, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
4 電子ブック Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Miculan, Marino, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
10 電子ブック Proceedings of the Workshop on AOP and Meta-Data for Software Evolution

Oriol, Manuel, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
5 電子ブック 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
11 電子ブック Proceedings of the Fourth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing

Chen, Jiahao, Association for Computing Machinery-Digital Library.

IEEE Electronic Library (IEL) Conference Proceedings, IEEE
6 図書 4th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2009) : Montreal, Canada, 2 August 2009

International Workshop on Logical Frameworks and Meta-languages Theory and Practice, Association for Computing Machinery

Association for Computing Machinery
12 電子ブック Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop

Hoffman, Torben, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12