[Hs-Generics] Workshop on Generic Programming (WGP 2013), Second call for Papers