MERLIN (ICFP 2005 Workshop):
Tallinn, Estonia
Randy 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.
ACM 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