1 option
LFMTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Logical Frameworks & Meta-Languages : Theory & Practice : September 23, 2013, Boston, Massachusetts, USA
- Format:
- Book
- Author/Creator:
- Momigliano, Alberto
- Series:
- ACM Conferences
- Language:
- English
- Physical Description:
- 1 online resource (68 pages)
- 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
- Place of Publication:
- [Place of publication not identified] ACM 2013
- Language Note:
- English
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.