Second Hessian Workshop on Programming Languages