Our paper ‘A program generator for TypeScript’ was accepted at SBLP’21.