Presentation on Intrinsically-typed Interpreters at WITS’22
The following presentation will be held at the first International Workshop on the Implementation of Type Systems (WITS’22), colocated with POPL22.
- Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara. Intrinsically-typed Interpreter for Effectful Languages (discussion)
