Full threaddependenttypes·There is a wikipedia article about the 1st author https://en.wikipedia.org/wiki/Li-Meng_YanView on HN