Our paper "Contextual Modal Type Theory with Polymorphic Context" is accepted for ESOP'23, woohoo! You can read the preprint from arxiv: https://arxiv.org/abs/1801.09225v2
フォロー
論文通ったぜいえいいえい(引用RT的なやつのやり方がわからん) https://mastodon.acm.org/@bindingscope/109690012753980412 [参照]
@zptmtr おめでとうございます！
@ashiato45 ありがとうございます！
