Atsushi Igarashi
Kyoto University
H-index: 29
Asia-Japan
Top articles of Atsushi Igarashi
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Abstracting Effect Systems for Algebraic Effect Handlers | arXiv preprint arXiv:2404.16381 | Takuma Yoshioka Taro Sekiyama Atsushi Igarashi | 2024/4/25 |
Functional and logic programming: Selected papers of FLOPS 2022 | Michael Hanus Atsushi Igarashi | 2024/4/12 | |
Linear Contextual Metaprogramming and Session Types | arXiv preprint arXiv:2404.05475 | Pedro Ângelo Atsushi Igarashi Vasco T Vasconcelos | 2024/4/8 |
Contextual Modal Type Theory with Polymorphic Contexts | Yuito Murase Yuichi Nishiwaki Atsushi Igarashi | 2023/4/17 | |
COP’23 | Yudai Tanabe Lars Schütze Robert Hirschfeld Atsushi Igarashi Hidehiko Masuhara | 2023/7/17 | |
Type-based Qubit Allocation for a First-Order Quantum Programming Language | arXiv preprint arXiv:2306.01856 | Ryo Wakizaka Atsushi Igarashi | 2023/6/2 |
(I Can’t Get No) Verification (Keynote) | Atsushi Igarashi | 2022/11/29 | |
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types | New Generation Computing | Yuki Nishida Hiromasa Saito Ran Chen Akira Kawata Jun Furuse | 2022/7 |
Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings | Michael Hanus Atsushi Igarashi | 2022/5/3 | |
Preface to the JOT special issue on ECOOP 2021: selected workshop papers | Journal of Object Technology | Davide Ancona Olivier Flückiger Adrian Francalanza C Seaton | 2022 |
Verification of a Merkle Patricia tree library using F | arXiv preprint arXiv:2106.04826 | Sota Sato Ryotaro Banno Jun Furuse Kohei Suenaga Atsushi Igarashi | 2021/6/9 |
Signature restriction for polymorphic algebraic effects | Proceedings of the ACM on Programming Languages | Taro Sekiyama Takeshi Tsukada Atsushi Igarashi | 2020/8/2 |
Compilation of Coordinated Choice | arXiv preprint arXiv:2004.14084 | Yuki Nishida Atsushi Igarashi | 2020/4/29 |
ConSORT: Context-and Flow-Sensitive Ownership Refinement Types for Imperative Programs. | John Toman Ren Siqi Kohei Suenaga Atsushi Igarashi Naoki Kobayashi | 2020/4/18 |