ACM Indian Summer School on Programming Languages: Principles and Practice