Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice

Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice

書目詳細資料
格式:	電子圖書
語言:	English
出版:	Association for Computing Machinery (ACM), 9/23/13
主題:	Conference papers and proceedings.
在線閱讀:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

相似書籍

Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security

Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection

Proceedings of the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection

Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection

Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming

Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming

Proceedings of the eighth international symposium on Multiple-valued logic

Theory and Practice of Logic Programming

Proceedings of the 2011 international ACM workshop on Ubiquitous meta user interfaces

2012 International Workshop on Metamaterials (Meta)

Meta-Carto-Semiotics | meta-carto-semiotics

Meta-Carto-Semiotics | meta-carto-semiotics

The logic of practice /
由: Bourdieu, Pierre, 1930-2002
出版: (1990)

The logic of language
由: Seuren, Pieter A. M.

Proceedings of the eighth annual ACM symposium on Theory of computing

Meta-Programming and Model-Driven Meta-Program Development
由: Å tuikys
出版: (2013)

Proceedings of the Workshop on AOP and Meta-Data for Software Evolution

Proceedings of the ACM SIGPLAN workshop on Haskell workshop

iMeta | Wiley

iMeta | Wiley

Proceedings of the twenty-eighth annual ACM symposium on Theory of Computing

Proceedings of the forty-eighth annual ACM symposium on Theory of Computing

Proceedings of the thirty-eighth annual ACM symposium on Theory of Computing

Logic, Language, and Computation
出版: (2013)

Logic, language, and meaning /
由: Gamut, L. T. F.
出版: (1991)

Proceedings of the Eighth ACM international workshop on Vehicular inter-networking

Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation

Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation

Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation

Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems

Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security

Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security

Proceedings of the eighth ACM international conference on Multimedia