TopCsUniv
← Programming Languages & Formal Methods 大学ランキングへ戻る

大学 × Programming Languages & Formal Methods

東京科学大学

Programming Languages & Formal Methods / 2021–2025 確定版

掲載論文 4 本

論文一覧

4 本

このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。

ランキングの対象論文 4 本と一致しています。

2024年

  1. 2024 · PLDI

    Space-Efficient Polymorphic Gradual Typing, Mostly Parametric

    掲載ID: doi:10.1145/3656441

    Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe

    Programming Languages & Formal Methods

    東京科学大学 / 京都大学 / 総合研究大学院大学

2023年

  1. 2023 · LICS

    Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations

    掲載ID: doi:10.1109/lics56636.2023.10175811

    Yoshiki Nakamura

    Programming Languages & Formal Methods

    東京科学大学

2022年

  1. 2022 · OOPSLA

    First-class names for effect handlers

    掲載ID: doi:10.1145/3563289

    Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen

    Programming Languages & Formal Methods

    東京科学大学

2021年

  1. 2021 · ICFP

    Higher-order probabilistic adversarial computations: categorical semantics and program logics

    掲載ID: doi:10.1145/3473598

    Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato

    Programming Languages & Formal Methods

    東京科学大学

掲載対象外の論文や未反映の論文は、この一覧には含まれません。