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

समान संसाधन

• Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
• The Color Bind
  द्वारा: Buckley
• Tours That Bind
  द्वारा: Kelner
• Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
• Proceedings of the 2003 ACM SIGPLAN workshop on Erlang