Atsushi Igarashi
Kyoto University
H-index: 29
Asia-Japan
Top articles of Atsushi Igarashi
Abstracting Effect Systems for Algebraic Effect Handlers
arXiv preprint arXiv:2404.16381
2024/4/25
Atsushi Igarashi
H-Index: 15
Functional and logic programming: Selected papers of FLOPS 2022
2024/4/12
Michael Hanus
H-Index: 16
Atsushi Igarashi
H-Index: 15
Linear Contextual Metaprogramming and Session Types
arXiv preprint arXiv:2404.05475
2024/4/8
Pedro Ângelo
H-Index: 1
Atsushi Igarashi
H-Index: 15
Type-based Qubit Allocation for a First-Order Quantum Programming Language
arXiv preprint arXiv:2306.01856
2023/6/2
Atsushi Igarashi
H-Index: 15
Contextual Modal Type Theory with Polymorphic Contexts
2023/4/17
Atsushi Igarashi
H-Index: 15
Preface to the JOT special issue on ECOOP 2021: selected workshop papers
Journal of Object Technology
2022
(I Can’t Get No) Verification (Keynote)
2022/11/29
Atsushi Igarashi
H-Index: 15
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
New Generation Computing
2022/7
Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
2022/5/3
Michael Hanus
H-Index: 16
Atsushi Igarashi
H-Index: 15
Verification of a Merkle Patricia tree library using F
arXiv preprint arXiv:2106.04826
2021/6/9
Kohei Suenaga
H-Index: 7
Atsushi Igarashi
H-Index: 15
Signature restriction for polymorphic algebraic effects
Proceedings of the ACM on Programming Languages
2020/8/2
Takeshi Tsukada
H-Index: 9
Atsushi Igarashi
H-Index: 15
Compilation of Coordinated Choice
arXiv preprint arXiv:2004.14084
2020/4/29
Atsushi Igarashi
H-Index: 15
ConSORT: Context-and Flow-Sensitive Ownership Refinement Types for Imperative Programs.
2020/4/18
Co-Authors
