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
Workshop on Mechanized Reasoning about Languages with variable binding (MERLIN 2001)