TopCsUniv
← 総合研究大学院大学のProgramming Languages & Formal Methodsへ戻る

論文表記の著者名

Taro Sekiyama

総合研究大学院大学Programming Languages & Formal Methods2022–2026 LIVE

対象論文 6 本

この大学・著者表記の全分野の論文を見る →

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

印刷日： 全論文

出典：https://topcsuniv.org/japan/programming-languages/universities/sokendai/authors/129e4282b7e75e8ac9da/

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

対象論文

論文一覧

  1. 2025
    OOPSLA
    会議の論文一覧    On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic ProgramsDOI共著者: Ugo Dal Lago, Hiroshi Unno
  2. 2025
    PLDI
    会議の論文一覧    Thrust: A Prophecy-Based Refinement Type System for RustDOI共著者: Hiromi Ogawa, Hiroshi Unno
  3. 2025
    POPL
    会議の論文一覧    Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order ProgramsDOI共著者: Hiroshi Unno
  4. 2024
    ICFP
    会議の論文一覧    Abstracting Effect Systems for Algebraic Effect HandlersDOI共著者: Takuma Yoshioka, Atsushi Igarashi
  5. 2024
    OOPSLA
    会議の論文一覧    Higher-Order Model Checking of Effect-Handling Programs with Answer-Type ModificationDOI共著者: Hiroshi Unno
  6. 2024
    PLDI
    会議の論文一覧    Space-Efficient Polymorphic Gradual Typing, Mostly ParametricDOI共著者: Atsushi Igarashi, Shota Ozaki, Yudai Tanabe