Special Interest Group on Type System and Programming Languages

[Yonezawa Lab.] [SIG-PDS] [SIG-POPL] [SIG-AMO]

Meeting Schedule

Edit ~www/meeting/types/index.html by yourself to schedule your talk. Having voluntary talk is always welcomed. The members of our group read this book : "Type Systems and Programming Languages". Please link your resume, related links, etc. below.

[Default: @Rm.#102, from 15:00, Every Monday]

Members

(new members are welcome!)