Franklin

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

Author/Creator:
ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding Corporate Author
Publication:
[Place of publication not identified] Association for Computing Machinery 2005
Conference Name:
ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
Format/Description:
Conference/Event
Book
Subjects:
Programming languages (Electronic computers) -- Data processing -- Congresses
Reasoning -- Congresses
Language:
English
Notes:
Bibliographic Level Mode of Issuance: Monograph
Contributor:
ACM Special Interest Group on Programming Languages Content Provider
Pollack, R Contributor
Momigliano, Alberto Contributor
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy