論文表記の著者名
Yusuke Matsushita
京都大学Programming Languages & Formal Methods2022–2026 LIVE
対象論文 4 本
著者名は論文に記載された表記をそのまま使用しており、同一人物の名寄せは行っていません。
印刷日： 全論文
論文上の著者表記・公開時所属による集計です。人物の名寄せ・現在所属・全業績を表すものではありません。
対象論文
論文一覧
- Pure Borrow: Linear Haskell Meets Rust-Style BorrowingDOI
- VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type SystemDOI
- RapunSL: Untangling Quantum Computing with Separation, Linear Combination and MixingDOI
- Nola: Later-Free Ghost State for Verifying Termination in IrisDOI