Reset Filters
Branch: 金山廊下镇

Cover is for reference only

MERLIN '05：proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia

Saved in:
Bibliographic Details
Corporate Authors: ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (3rd 2005 Tallinn, Estonia); ACM Special Interest Group on Programming Languages.; ACM SIGPLAN International Conference on Functional Programming 2005 Tallinn, Estonia) (Tallinn, Estonia))
Group Author: (Randy); Momigliano Alberto.; Pollack R.
Published: Association for Computing Machinery,
Publisher Address: New York, NY
Publication Dates: c2005.
Literature type: Book
Language: English
Subjects:
Reasoning > Data processing.
Programming languages (Electronic computers)
Carrier Form: vii, 64 p.: ill. ; 28 cm.
Publication Frequency: Also issued online with additional title: Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding.
ISBN: 1595930728
9781595930729
Index Number: TP312
CLC: TP312-532
Call Number: TP312-532/A849-4/2005
Contents: "... 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.

Related Book Recommendations