Intrinsically-typed Interpreterに関する発表(@WITS’22)
以下の発表がPOPL22国際会議に併設されるthe first International Workshop on the Implementation of Type Systems (WITS’22)に採択されました。
- Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara. Intrinsically-typed Interpreter for Effectful Languages (discussion)
