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

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

Bibliographic Details
Main Author: ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (corporate author, -)
Corporate Authors: ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding Corporate Author (corporate author), ACM Special Interest Group on Programming Languages Content Provider (content provider), ACM SIGPLAN International Conference on Functional Programming
Other Authors: Pollack, R Contributor (contributor), Momigliano, Alberto Contributor
Format: eBook
Language:Inglés
Published: [Place of publication not identified] Association for Computing Machinery 2005
Series:ACM Conferences
Subjects:
Programming languages (Electronic computers) > Data processing > Congresses
Reasoning > Congresses
Engineering & Applied Sciences
Computer Science
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713669006719
Description
Item Description:Bibliographic Level Mode of Issuance: Monograph
Physical Description:1 online resource (72 p.;)

Similar Items