Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding

Схожие документы

• Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
• Proceedings of the 3rd international workshop on Variability & Composition
• The Color Bind
  по: Buckley
• Tours That Bind
  по: Kelner
• Variable Properties in Language
  по: Lightfoot