![](/img/cover-not-exists.png)
[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
Nogin, Aleksey, Kopylov, Alexei, Yu, Xin, Hickey, JasonYear:
2005
Language:
english
DOI:
10.1145/1088454.1088456
File:
PDF, 234 KB
english, 2005