← 東京科学大学のProgramming Languages & Formal Methodsへ戻る

論文表記の著者名

Youyou Cong

東京科学大学Programming Languages & Formal Methods2022–2026 LIVE

対象論文 1 本

著者名は論文に記載された表記をそのまま使用しており、同一人物の名寄せは行っていません。

印刷日: 全論文

出典:https://topcsuniv.org/japan/programming-languages/universities/institute-of-science-tokyo/authors/c12bacb400bbe07d009e/

論文上の著者表記・公開時所属による集計です。人物の名寄せ・現在所属・全業績を表すものではありません。

対象論文

論文一覧

  1. 2022
    OOPSLA
    会議の論文一覧
    First-class names for effect handlersDOI共著者: Ningning Xie, Kazuki Ikemori, Daan Leijen