Franklin

LFMTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Logical Frameworks & Meta-Languages : Theory & Practice : September 23, 2013, Boston, Massachusetts, USA

Author/Creator:
Momigliano, Alberto
Other Title:
Logical Frameworks and Meta-Languages Theory and Practice '13 : proceedings of the 2013 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Logical Frameworks and Meta-Languages : Theory and Practice : September 23, 2013, Boston, Massachusetts, United States of America
Proceedings of the eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages : Theory & Practice
Proceedings of the eighth Association for Computing Machinery Special Interest Group on Programming Languages International Workshop on Logical Frameworks and Meta-Languages : Theory and Practice
Publication:
[Place of publication not identified] ACM 2013
Format/Description:
Book
1 online resource (68 pages)
Language:
English
Notes:
Bibliographic Level Mode of Issuance: Monograph
Contributor:
ACM Special Interest Group on Programming Languages Content Provider
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy