New: sigplAll contenthive-129948hive-196917krzzanhive-183959steemhive-180932photographyhive-166405hive-185836uncommonlabhive-144064bitcoinhive-150122hive-145157hive-188619krsuccesshive-109690hive-124908lifehive-139150hive-101145hive-184714hive-183397hive-193186TrendingNewHotLikersi0i (25)in sigpl • 7 years agoSIGPL winter school 2018Today is the second day of SIGPL at Chungnam University in Daejeon. Atsusi Igarashi who is the most famous researcher in the gradual typing area had a talk in SIGPL. I have enjoyed his talk about…