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

Detalles Bibliográficos
Autor principal:	ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (corporate author, -)
Autores Corporativos:	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
Otros Autores:	Pollack, R Contributor (contributor), Momigliano, Alberto Contributor
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	[Place of publication not identified] Association for Computing Machinery 2005
Colección:	ACM Conferences
Materias:	Programming languages (Electronic computers) > Data processing > Congresses Reasoning > Congresses Engineering & Applied Sciences Computer Science
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713669006719

Descripción
Notas:	Bibliographic Level Mode of Issuance: Monograph
Descripción Física:	1 online resource (72 p.;)

Ejemplares similares