大学 × Programming Languages & Formal Methods
東京科学大学
Programming Languages & Formal Methods / 2022–2026 LIVE
掲載論文 3 本
論文一覧
3 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
ランキングの対象論文 3 本と一致しています。
2024年
- Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
掲載ID:
doi:10.1145/3656441
2023年
- Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
掲載ID:
doi:10.1109/lics56636.2023.10175811
2022年
- First-class names for effect handlers
掲載ID:
doi:10.1145/3563289
掲載対象外の論文や未反映の論文は、この一覧には含まれません。