✦ LIBER ✦
[ACM Press the 3rd ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05 - A computational approach to reflective meta-reasoning about languages with bindings
✍ Scribed by Nogin, Aleksey; Kopylov, Alexei; Yu, Xin; Hickey, Jason
- Book ID
- 117996779
- Publisher
- ACM Press
- Year
- 2005
- Tongue
- English
- Weight
- 234 KB
- Volume
- 0
- Category
- Article
- ISBN-13
- 9781595930729
No coin nor oath required. For personal study only.
✦ Synopsis
A. Momigliano & R. Pollack, Editors ; Sponsored By The Association For Computing Machinery Special Interest Group On Programming Languages (sigplan). ... 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. Also Issued Online With Additional Title: Proceedings Of The 3rd Acm Sigplan Workshop On Mechanized Reasoning About Languages With Variable Binding.