#sigpl

Follow to get notified about new posts with this tag

i0i

9y

SIGPL winter school 2018

SIGPL winter school 2018

Today 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 the gradual

$ 0.000

1