J-GLOBAL ID:200901018941019247   Update date: Nov. 20, 2019

Atsushi Igarashi

イガラシ アツシ | Atsushi Igarashi
Affiliation and department:
Homepage URL  (1): http://kaken.nii.ac.jp/ja/r/40323456
Research field  (2): ソフトウェア ,  情報学基礎
Papers (86):
  • Hiroaki Inoue, Atsushi Igarashi. A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping. Science of Computer Programming. 2019. 179. 54-86
  • Taro Sekiyama, Atsushi Igarashi. Handling Polymorphic Algebraic Effects. Proceedings of European Symposium on Programming (ESOP2019). 2019. LNCS 11423. 1-28
  • Yusuke Miyazaki, Taro Sekiyama, and Atsushi Igarashi. Dynamic Type Inference for Gradual Hindley-Milner Typing. Proceedings of the ACM on Programming Languages. 2019. 3. POPL. 18:1-18:29
  • Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno. Temporal Verification of Programs via First-Order Fixpoint Logic. Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings. 2019. 413-436
  • Akira Kawata,Atsushi Igarashi. A Dependently Typed Multi-stage Calculus. Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings. 2019. 53-72
MISC (5):
Books (4):
  • Programming Languages and Systems: Proceedings of the 10th Asian Symposium, APLAS 2012
    Springer-Verlag 2012
  • Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
    Springer-Verlag 2014
  • Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016. Proceedings
    Springer-Verlag 2016
  • Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
    The ACM Press 2019
Lectures and oral presentations  (1):
  • トップカンファレンスに論文を通す方法
    (日本ソフトウェア科学会第29回大会 2012)
Association Membership(s) (2):
IEEE Computer Society ,  ACM
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page