Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
| Hōputu: | Tāhiko īPukapuka |
|---|---|
| Reo: | Ingarihi |
| I whakaputaina: |
Association for Computing Machinery (ACM),
9/23/13
|
| Ngā marau: | |
| Urunga tuihono: | Full text available on Research4Life (ACM) |
Ngā tūemi rite
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
Theory and Practice of Logic Programming
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security
Proceedings of the eighth international symposium on Multiple-valued logic
Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming
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 international conference on Functional programming
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Meta-Carto-Semiotics | meta-carto-semiotics
Proceedings of the eighth annual ACM symposium on Theory of computing
Proceedings of the Workshop on Grammar Engineering Across Frameworks
Key Theoretical Frameworks
mā: Eble
mā: Eble
A Framework for the Good
mā: Kinghorn
mā: Kinghorn
Proceedings of the 2011 international ACM workshop on Ubiquitous meta user interfaces
Markup Languages: Theory & Practice
Proceedings of the Sixth International Workshop on Domain-Specific Languages and High-Level Frameworks for HPC
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
iMeta | Wiley
Journal of Logic, Language, and Information
Journal of Logic, Language and Information
Proceedings of the 2009 Workshop on Grammar Engineering Across Frameworks
Framework: The Journal of Cinema and Media
Framework: The Journal of Cinema and Media
Proceedings of the Workshop on AOP and Meta-Data for Software Evolution
Proceedings of the Eighth ACM international workshop on Vehicular inter-networking
Scripture,logic,language : essays on dharmakirti and his tibetan successors /
mā: Tillemans, Tom J. F.
I whakaputaina: (1999)
mā: Tillemans, Tom J. F.
I whakaputaina: (1999)
Proceedings of the 2010 Roadmap for Digital Preservation Interoperability Framework Workshop
Proceedings of the eighth annual conference on Computational learning theory