Our TOPLAS paper has just appeared. Just 18 months turnaround time – given the 52 pages this was fast!