Homepage: http://www.cl.cam.ac.uk/users/amp12/freshml/ FreshML is an extension of the programming language ML. The innovation of the language is the extension of ...

Homepage: http://www.mcs.le.ac.uk/merlin/ Workshop on Mechanized Reasoning about Languages with variable binding (MERLIN 2001) Deadline: March Conference: June

Conferences and Workshops on Program Transformation Transform-based Events Events with their home page on this wiki. Feel free to use this wiki to host the webpage ...