MERLIN'05, September 30, 2005, Tallinn, Estonia proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varlable biNding

Ejemplares similares

• FDPE'05, September 25, 2005, Tallinn, Estonia : proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education
  Publicado: (2005)
• MERLIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia
  por: ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
  Publicado: (2005)
• Erlang'05 : proceedings of the ACM SIGPLAN 2005 Erlang Workshop, September 25, 2005, Tallinn, Estonia
  Publicado: (2005)
• Haskell '05 : proceedings of the ACM SIGPLAN 2005 Haskell Workshop : September 30, 2005, Tallinn, Estonia
  por: ACM SIGPLAN Haskell Workshop
  Publicado: (2005)
• WCFLP'05 : September 29, 2005, Tallinn, Estonia : proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programmming
  Publicado: (2005)