論文通ったぜいえいいえい(引用RT的なやつのやり方がわからん) https://mastodon.acm.org/@bindingscope/109690012753980412 [参照]
zeptomter
さんがブースト
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
Mastodonとりあえず始めてみるかと思って始めてみたけど単純にフォローを増やしていくのが面倒くさいね。まあぼちぼちやっていくか
どうもどうも / zptmtr@twitter.com
2023年 1月 に登録
