MERLIN

Program-Transformation.Org: The Program Transformation Wiki
Homepage: http://www.mcs.le.ac.uk/merlin/

Workshop on Mechanized Reasoning about Languages with variable binding (MERLIN 2001)

  • Deadline: March
  • Conference: June