MERLIN (ICFP 2005 Workshop):
Tallinn, EstoniaRandy Pollack (Ed.):
ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005.
Last update Fri May 24 19:06:01 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page