MERLIN '05
Subtitle: proceedings of the Third  ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia
By: A. Momigliano & R. Pollack, editors ; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN).
Contributors: Momigliano, Alberto.; Pollack, R.; ACM Special Interest Group on Programming Languages.; ACM SIGPLAN International Conference on Functional Programming (10th : 2005 : Tallinn, Estonia)
Publisher: Association for Computing Machinery
Published: 2005
Place of publication: New York, NY
Language: eng
Number of pages: 64
Subjects: Reasoning -- Data processing -- Congresses.; Programming languages (Electronic computers) -- Congresses.
Genres: Congresses.
Other titles: Proceedings of the Third  ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding; ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding; Mechanized Reasoning about Languages with Variable Binding; Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding.
Notes: "... held in association with the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), on August 30th, 2005 in Tallinn, Estonia"--P. iii.

"ACM order number 565058"--P. ii.

Includes bibliographical reference and author index.

Also issued online with additional title: Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding.