MERLIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estonia
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)
Bok Engelsk 2005 ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
Annen tittel | |
---|---|
Medvirkende | Momigliano, Alberto (Contributor)
|
Utgitt | New York : Association for Computing Machinery , c2005
|
Omfang | vii, 64 s.
|
Emner | |
Dewey | |
ISBN | 1595930728
|