Matches in Library of Congress for { <http://lccn.loc.gov/2006273618> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- 2006273618 alternative "ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding".
- 2006273618 alternative "Mechanized Reasoning about Languages with Variable Binding".
- 2006273618 alternative "Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding.".
- 2006273618 alternative "Proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding".
- 2006273618 contributor B10475603.
- 2006273618 contributor B10475604.
- 2006273618 contributor B10475605.
- 2006273618 contributor B10475606.
- 2006273618 created "c2005.".
- 2006273618 date "2005".
- 2006273618 date "c2005.".
- 2006273618 dateCopyrighted "c2005.".
- 2006273618 description "Includes bibliographical reference and author index.".
- 2006273618 extent "vii, 64 p. :".
- 2006273618 hasFormat "Also issued online with additional title: Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding.".
- 2006273618 identifier "1595930728 (pbk.)".
- 2006273618 identifier toc.cfm?id=1088454&coll=portal&dl=ACM&type=proceeding&idx=SERIES824&part=Proceedings&WantType=Proceedings&title=International%20Conference%20on%20Functional%20Programming.
- 2006273618 isFormatOf "Also issued online with additional title: Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding.".
- 2006273618 issued "2005".
- 2006273618 issued "c2005.".
- 2006273618 language "eng".
- 2006273618 publisher "New York, NY : Association for Computing Machinery,".
- 2006273618 relation "Also issued online with additional title: Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding.".
- 2006273618 subject "005.13 22".
- 2006273618 subject "Programming languages (Electronic computers) Congresses.".
- 2006273618 subject "QA76.7 .A247 2005".
- 2006273618 subject "Reasoning Data processing Congresses.".
- 2006273618 title "ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding".
- 2006273618 title "MERLIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia / A. Momigliano & R. Pollack, editors ; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN).".
- 2006273618 title "Mechanized Reasoning about Languages with Variable Binding".
- 2006273618 title "Proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding".
- 2006273618 type "text".