Website Search
Find information on spaces, staff, and services.
Catalog Search
Journals, Magazines, Newspapers
Proceedings of the ... ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varIable biNding : MERLIN
- Author / Creator
- Conferences
- ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
- Available as
- Physical
Details
Checking for availability...
- Creator
- sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
- Included Title
-
- ACM Digital Library conferences
- Format
- Journals, Magazines, Newspapers
- Language
- English
- Contributors
- Publication
-
- New York, N.Y. : Association for Computing Machinery
- Publication Dates
- Began with 2003
- Physical Details
-
- volumes : illustrations ; 28 cm
- OCLC
- ocm63166194
- Description based on: 3rd (Sept. 30, 2005).
- Also issued online.