Igarashi Atsushi 五十嵐淳

… Alternative Names

IGARASHI Atsushi 五十嵐淳

五十風淳イガラシアツシ

Less

Researcher Number	40323456
Other IDs
External Links
Affiliation (Current)	2025: 京都大学, 情報学研究科, 教授
Affiliation (based on the past Project Information) *help	2012 – 2024: 京都大学, 情報学研究科, 教授 2015: 京都大学, 大学院情報学研究科, 教授 2012: 京都大学, 大学院・情報学研究科, 教授 2007 – 2011: 京都大学, 大学院・情報学研究科, 准教授 2007 – 2011: Kyoto University, 情報学研究科, 准教授 … More 2008: Kyoto University, Graduate School of Informatics, Associate Professor 2006: 京都大学, 大学院情報学研究科, 助教授 2006: 京都大学, 情報学研究科, 助教授 2005: Kyoto University, Graduate School of Informatics, Assistant Professor, 大学院情報学研究科, 講師 2002 – 2005: 京都大学, 大学院・情報学研究科, 講師 2002 – 2005: 京都大学, 情報学研究科, 講師 2000 – 2001: University of Tokyo, Graduate School of Arts and Sciences, Research Assoc, 大学院・総合文化研究科, 助手 Less
Review Section/Research Field	Principal Investigator Software / Software / Medium-sized Section 60:Information science, computer engineering, and related fields / Science and Engineering / Fundamental theory of informatics / 計算機科学 Except Principal Investigator Software / 計算機科学 / Software / Science and Engineering … More / Fundamental theory of informatics / Broad Section J / Medium-sized Section 60:Information science, computer engineering, and related fields / Basic Section 60050:Software-related / Theory of informatics Less
Keywords	Principal Investigator プログラミング言語 / 型システム / ソフトウェア契約 / 漸進的型付け / トレース意味論 / プログラム検証 / 計算効果 / オブジェクト指向言語 / 限定継続 / 線形時間時相論理 … More / 安全性 / ソフトウエア契約 / 相互運用性 / 非決定計算 / 顕在的契約計算 / shift/reset / ゲーム意味論 / 代入 / ソフトウェア・コントラクト / Java言語 / コントラクト / 型安全性 / ジェネリクス / Java 言語 / ユニオン型 / 軽量族多相 / 再利用性 / ソフトウェア / オブジェクト指向 / プログラム言語論 / 明示的環境 / 型理論 / 環境適応型ソフトウェア / 不干渉性 / 直観主義 / メタプログラミング / 論理関係 / 非干渉性 / 様相論理 / 情報流解析 / プログラム進化 / generics / 資源使用解析 / 多相性 / Java / 並行プログラム … More Except Principal Investigator 型システム / プログラム検証 / 型理論 / 高階モデル検査 / モデル検査 / ソフトウェア検証 / 高階不動点論理 / 関数型プログラム / ソフトウェアの安全性 / クラス理論 / プログラミング言語 / アスペクト指向 / 型推論 / プログラム解析 / メタ言語 / セキュリティ / 機械学習 / information flow analysis / type system / 情報流解析 / 並行プログラム / program analysis / Java / デッドロック / 証明支援系 / 仕様記述・検証 / 証明検証 / プログラム変換 / 関数型言語 / 高階文法 / データ圧縮 / オブジェクト指向 / モジュール化 / 文脈指向 / 様相論理 / プログラム生成 / 資源使用法解析 / 高階再帰スキーム / 抽象操作 / メタ理論 / 式の理論 / ソフトウェア開発 / 自然枠組 / ソフトウェア開発効率化・安定化 / 形式手法 / アスペクト指向プログラミング / 確率付き高階不動点論理 / 強化学習 / IoT / PDR / モニタリング / ブラックボックス検査 / 形式検証 / ハイブリッドシステム / 共通型 / 高階論理 / 確率付き文法 / 不動点論理 / concurrent programs / functional programs / type theory / program verification / XML / 双模倣 / 割り込み / 線形最適化問題 / プログラム等価性 / Context / Variable Collision / Meta Variable / Syntactic Object / Meta Language / Object Language / 計算体系 / 強正規化性 / 合流性 / 環境 / 文脈 / 変数の衝突 / 超変数 / 文法的対象 / 対象言語 / requirements specification / aspect-oriented programming / model checking / reuse / high reliability / component / software / Webサービス / 要求仕様 / 再利用 / 高信頼性 / コンポーネント / ソフトウェア / resource / static analysis of communication / proof assistant / safety / concurrent program / security / ライブロック / Coq / 計算資源 / 通信の解析 / 定理証明支援器 / 安全性 / resource usage analysis / functional language / type inference / garbage collection / region inference / memory management / quasi-linear types / linear type system / 通信チャネル / 並行言語 / 並列計算機 / 線形型 / 資源使用解析 / ガベージコレクション / リージョン推論 / メモリ管理 / 擬似線形型 / 線形型システム / object-oriented programming / linear logic / process calculus / deadlock / type systems / concurrency / distributed programming / 部分評価 / 線形論理 / プロセス計算 / 並行プログラミング言語 / 分散プログラミング言語 / 実行時プログラム生成 / 関数型プログラミング言語 / 高性能計算 / プログラム特化 / 関数型プログラム言語 / ディペンダブルコンピューティング / 項書換 / ソフトウェア学 / ソフトウェア・モジュール化 / 分散ソフトウェア / AspectJ / セキュリティポリシー / ContextJ / EventCJ / 文脈指向プログラミング / イベント駆動 / セキュリティーポリシー / 最適化 / モジュール性 / 型安全性 / 意味論 / 横断的関心事 / Curry-Howardの対応 / 型エラー / コントロールオペレータ / 融合変換 / 多相型 / コントールオペレータ / マルチステージプログラミング / コード生成 / プログラムの論理 / 高信頼ソフトウェア / プログラム言語論 / プログラミングパラダイム / プログラミング言語論 / ツリーオートマトン / メモリ使用法解析 / 述語抽象化 / 資源使用法検証 / メタ変数 / ソフトウェア開発効率化、安定化 / ディスペンダブル、コンピューティング / ディペンダブル・コンピューティング / プログラム言語 / ディスペンタブル・コンピューティング / 要求工学 / UML / ディスペンダブル・コンピューティング / ソフトウェア工学 Less

Program Verification Based on Higher-Order Fixpoint Logic
- Principal Investigator
  
  小林直樹
- Project Period (FY)
  2020
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  The University of Tokyo
Program Verification Techniques for the AI Era
- Principal Investigator
  
  小林直樹
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Review Section
  
  Broad Section J
- Research Institution
  The University of Tokyo
Research on software contracts for highly interoperable software modulesPrincipal Investigator
- Principal Investigator
  
  五十嵐淳
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Kyoto University
Enhancement of Formal Verification for IoT Systems
- Principal Investigator
  
  Suenaga Kohei
- Project Period (FY)
  2019 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyoto University
Theory of Gradual Typing for Modern Programming LanguagesPrincipal Investigator
- Principal Investigator
  
  Atsushi Igarashi
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
Deepening of a self-extendable software verification system based on class theory
- Principal Investigator
  
  Sato Masahiko
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
Refinement and Extension of Higher-Order Model Checking
- Principal Investigator
  
  Kobayashi Naoki
- Project Period (FY)
  2015 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Theory of informatics
- Research Institution
  The University of Tokyo
Study on Highly Reliable Programming Languages for Code Generation
- Principal Investigator
  
  KAMEYAMA YUKIYOSHI
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
Theory of Higher-Order Typed Programs based Software ContractsPrincipal Investigator
- Principal Investigator
  
  Igarashi Atsushi
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
Construction of a self-extendable software verification system based on class theory
- Principal Investigator
  
  Sato Masahiko
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
Higher-Order Model Checking and its Applications
- Principal Investigator
  
  Kobayashi Naoki
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Tokyo
  Tohoku University
A Study on modularization mechanisms to integrate hierarchical and crosscutting decomposition for the post-aspect era
- Principal Investigator
  
  CHIBA Shigeru
- Project Period (FY)
  2010 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
  Tokyo Institute of Technology
New development of research on bug-free software construction environment
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
Foundation of Programming Languages for Code Generation
- Principal Investigator
  
  KAMEYAMA Yukiyoshi
- Project Period (FY)
  2009 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
Expanding Aspect-Oriented Programming
- Principal Investigator
  
  MASUHARA Hidehiko
- Project Period (FY)
  2009 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
Theory and Design of a Safe and Flexible Programming Language Based On the Integration of Static and Dynamic TypingPrincipal Investigator
- Principal Investigator
  
  IGARASHI Atsushi
- Project Period (FY)
  2009 – 2012
- Research Category
  
  Grant-in-Aid for Young Scientists (A)
- Research Field
  
  Software
- Research Institution
  Kyoto University
Advancement and Application of Type Theory for Improving Software Safety
- Principal Investigator
  
  KOBAYASHI Naoki
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tohoku University
Software development environment based on integration of computation and logic
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
安全・安心な環境適応型ソフトウェアの基礎理論に関する研究Principal Investigator
- Principal Investigator
  
  五十嵐淳
- Project Period (FY)
  2006
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety
- Principal Investigator
  
  TAMAI Tetsuo
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
Study on Type Theory to Promote Software ReusePrincipal Investigator
- Principal Investigator
  
  IGARASHI Atsushi
- Project Period (FY)
  2006 – 2008
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
Type Theory for Software Safety
- Principal Investigator
  
  KOBAYSHI Naoki
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Tohoku University
様相論理に基づいたプログラム解析手法の研究Principal Investigator
- Principal Investigator
  
  五十嵐淳
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyoto University
高級並列言語の様々な安全性を保証するプログラム進化支援つき汎用型システムの研究Principal Investigator
- Principal Investigator
  
  五十嵐淳
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  計算機科学
- Research Institution
  Kyoto University
  The University of Tokyo
High Reliability Component-Based Software Engineering
- Principal Investigator
  
  TAMAI Tetsuo
- Project Period (FY)
  2001 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  The University of Tokyo
Calculi and Logic of Environment and Context
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Kyoto University
Type Systems for Secure Computing
- Principal Investigator
  
  KOBAYASHI Naoki
- Project Period (FY)
  2000 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Tokyo Institute of Technology
Memory Management Scheme Based on the Quasi-Linear Type System
- Principal Investigator
  
  KOBAYASHI Naoki
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Tokyo Institute of Technology
  The University of Tokyo
Implementation of Distributed Programming Languages Based on Advanced Theory for Concurrent/Distributed Computation
- Principal Investigator
  
  KOBAYASHI Naoki
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  計算機科学
- Research Institution
  Tokyo Institute of Technology
  The University of Tokyo

[Book] プログラミング言語の基礎概念2011
- Author(s)
  五十嵐淳
- Total Pages
  192
- Publisher
  サイエンス社
- Data Source
  KAKENHI-PROJECT-21680002
[Book] プログラミング言語の基礎概念2011
- Author(s)
  五十嵐淳
- Total Pages
  176
- Publisher
  サイエンス社
- Data Source
  KAKENHI-PROJECT-21300005
[Book] プログラミング言語の基礎概念2011
- Author(s)
  五十嵐淳
- Total Pages
  192
- Publisher
  サイエンス社
- Data Source
  KAKENHI-PROJECT-21680002
[Book] プログラミングin OCaml〜関数型プログラミングの基礎からGUIプログラミングまで2007
- Author(s)
  五十嵐淳
- Total Pages
  374
- Publisher
  技術評論社
- Data Source
  KAKENHI-PROJECT-18700026
[Book] プログラミングin 0Caml〜関数型プログラミングの基礎からGUIプログラミングまで2007
- Author(s)
  五十嵐淳
- Total Pages
  384
- Publisher
  技術評論社
- Data Source
  KAKENHI-PROJECT-18700026
[Book] プログラミング in Ocaml2007
- Author(s)
  五十嵐淳
- Publisher
  技術評論社
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programming2024
- Author(s)
  Takashi Suwa, Atsushi Igarashi
- Journal Title
  
  Proc. of FLOPS 2024
  
  Volume: ー
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H00582
[Journal Article] Space-Efficient Polymorphic Gradual Typing, Mostly Parametric2024
- Author(s)
  Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe
- Journal Title
  
  Proceedings of the ACM on Programming Languages (PLDI)
  
  Volume: - Issue: PLDI Pages: 1585-1608
- DOI
  10.1145/3656441
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K20247, KAKENHI-PROJECT-20H00582
[Journal Article] LLTZ: LLVM IR からスマートコントラクト記述言語 Michelson へのコンパイラ2023
- Author(s)
  臼澤嘉, 末永幸平, 古瀬淳, 五十嵐淳
- Journal Title
  
  第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023)論文集
  
  Volume: ー
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H00582
[Journal Article] LLTZ: LLVM IR からスマートコントラクト記述言語 Michelson へのコンパイラ2023
- Author(s)
  臼澤嘉, 末永幸平, 古瀬淳, 五十嵐淳
- Journal Title
  
  第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023)論文集
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] BOREx: Bayesian-Optimization-Based Refinement of?Saliency Map for Image- and Video-Classification Models2023
- Author(s)
  Kikuchi Atsushi、Uchida Kotaro、Waga Masaki、Suenaga Kohei
- Journal Title
  
  Proceedings of ACCV 2022
  
  Volume: 13847 Pages: 274-290
- DOI
  10.1007/978-3-031-26293-7_17
- ISBN
  9783031262920, 9783031262937
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04084
[Journal Article] Contextual Modal Type Theory with Polymorphic Contexts2023
- Author(s)
  Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi
- Journal Title
  
  Proc. of ESOP 2023
  
  Volume: 13990 Pages: 281-308
- DOI
  10.1007/978-3-031-30044-8_11
- ISBN
  9783031300431, 9783031300448
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H00582
[Journal Article] 暗黙に相互運用可能なレコードとハッシュテーブルのための型推論とコンパイル手法2022
- Author(s)
  梅木孝輔, 関山太朗, 五十嵐淳
- Journal Title
  
  日本ソフトウェア科学会第39回大会論文集
  
  Volume: ー
- Open Access
- Data Source
  KAKENHI-PROJECT-20H00582
[Journal Article] Stage-Aware Equality Types for a Dependently-Typed Multi-Stage Calculus2022
- Author(s)
  Shuntaro Katsuda, Atsushi Igarashi
- Journal Title
  
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL2022)論文集
  
  Volume: ー
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H00582
[Journal Article] Type-based Qubit Allocation for a First-Order Quantum Programming Language2022
- Author(s)
  Ryo Wakizaka, Atsushi Igarashi
- Journal Title
  
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL2022)論文集
  
  Volume: ー
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H00582
[Journal Article] Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.2022
- Author(s)
  Yuki Nishida, Hiromasa Saito, Chen Ran, Akira Kawata, Jun Furuse, Kouhei Suenaga and Atsushi Igarashi
- Journal Title
  
  New Generation Computing
  
  Volume: 40 Issue: 2 Pages: 507-540
- DOI
  10.1007/s00354-022-00167-1
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H05703, KAKENHI-PROJECT-19H04084
[Journal Article] Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types2021
- Author(s)
  Nishida Yuki、Saito Hiromasa、Chen Ran、Kawata Akira、Furuse Jun、Suenaga Kohei、Igarashi Atsushi
- Journal Title
  
  Proceedings of TACAS 2021, Springer LNCS
  
  Volume: 12652 Pages: 262-280
- DOI
  10.1007/978-3-030-72013-1_14
- ISBN
  9783030720124, 9783030720131
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H05703, KAKENHI-PROJECT-19H04084
[Journal Article] Is Space-Efficient Polymorphic Gradual Typing Possible?2021
- Author(s)
  Shota Ozaki, Taro Sekiyama, Atsushi Igarashi
- Journal Title
  
  Informal Proceedings of Scheme and Functional Programming Workshop
  
  Volume: ー
- Open Access
- Data Source
  KAKENHI-PROJECT-20H00582
[Journal Article] RustHorn: CHC-based Verification for Rust Programs2021
- Author(s)
  Matsushita Yusuke、Tsukada Takeshi、Kobayashi Naoki
- Journal Title
  
  ACM Transactions on Programming Languages and Systems
  
  Volume: 43 Issue: 4 Pages: 1-54
- DOI
  10.1145/3462205
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H05703, KAKENHI-PROJECT-22KJ0561
[Journal Article] ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs2020
- Author(s)
  Toman John、Siqi Ren、Suenaga Kohei、Igarashi Atsushi、Kobayashi Naoki
- Journal Title
  
  Proceedings of ESOP 2020, Springer LNCS
  
  Volume: 12075 Pages: 684-714
- DOI
  10.1007/978-3-030-44914-8_25
- NAID
  120006879514
- ISBN
  9783030449131, 9783030449148
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H05706, KAKENHI-PROJECT-19H04084
[Journal Article] Compilation of Coordinated Choice2020
- Author(s)
  Yuki Nishida, Atsushi Igarashi
- Journal Title
  
  arXiv
  
  Volume: ー
- Open Access
- Data Source
  KAKENHI-PROJECT-20H00582
[Journal Article] RustHorn: CHC-Based Verification for Rust Programs2020
- Author(s)
  Matsushita Yusuke、Tsukada Takeshi、Kobayashi Naoki
- Journal Title
  
  Proceedings of ESOP 2020, Springer LNCS
  
  Volume: 12075 Pages: 484-514
- DOI
  10.1007/978-3-030-44914-8_18
- ISBN
  9783030449131, 9783030449148
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15H05706
[Journal Article] Space-Efficient Gradual Typing in Coercion-Passing Style2020
- Author(s)
  Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi
- Journal Title
  
  Proceedings of European Conference on Object-Oriented Programming (ECOOP2020)
  
  Volume: -
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H01723
[Journal Article] A Dependently Typed Multi-stage Calculus2019
- Author(s)
  Kawata Akira、Igarashi Atsushi
- Journal Title
  
  Asian Symposium on Programming Languages and Systems (APLAS2019)
  
  Volume: - Pages: 53-72
- DOI
  10.1007/978-3-030-34175-6_4
- NAID
  120006800752
- ISBN
  9783030341749, 9783030341756
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H01724
[Journal Article] Handling Polymorphic Algebraic Effects2019
- Author(s)
  Taro Sekiyama, Atsushi Igarashi
- Journal Title
  
  Proceedings of European Symposium on Programming (Springer LNCS)
  
  Volume: 11423 Pages: 1-28
- DOI
  10.1007/978-3-030-17184-1_13
- ISBN
  9783030171834, 9783030171841
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H01723, KAKENHI-PROJECT-17H01724
[Journal Article] Manifest Contracts with Intersection Types2019
- Author(s)
  Nishida Yuki、Igarashi Atsushi
- Journal Title
  
  Proceedings of Asian Symposium on Programming Languages and Systems (APLAS2019)
  
  Volume: - Pages: 33-52
- DOI
  10.1007/978-3-030-34175-6_3
- NAID
  120006800753
- ISBN
  9783030341749, 9783030341756
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H01723
[Journal Article] A type system for first-class layers with inheritance, subtyping, and swapping2019
- Author(s)
  Inoue Hiroaki、Igarashi Atsushi
- Journal Title
  
  Science of Computer Programming
  
  Volume: 179 Pages: 54-86
- DOI
  10.1016/j.scico.2019.03.008
- NAID
  120006629250
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H01723
[Journal Article] Gradual session types2019
- Author(s)
  IGARASHI ATSUSHI、THIEMANN PETER、TSUDA YUYA、VASCONCELOS VASCO T.、WADLER PHILIP
- Journal Title
  
  Journal of Functional Programming
  
  Volume: 29
- DOI
  10.1017/s0956796819000169
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01723
[Journal Article] Temporal Verification of Programs via First-Order Fixpoint Logic2019
- Author(s)
  Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno
- Journal Title
  
  In Proceedings of the 26th International Symposium (SAS 2019), Lecture Notes in Computer Science
  
  Volume: 11822 Pages: 413-436
- DOI
  10.1007/978-3-030-32304-2_20
- ISBN
  9783030323035, 9783030323042
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H01720, KAKENHI-PROJECT-16H05856, KAKENHI-PROJECT-15H05706
[Journal Article] Dynamic Type Inference for Gradual Hindley-Milner Typing2019
- Author(s)
  Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
- Journal Title
  
  Proceedings of the ACM on Programming Languages
  
  Volume: 3 Issue: POPL Pages: 1-29
- DOI
  10.1145/3290331
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H01723
[Journal Article] Nondeterministic Manifest Contracts2018
- Author(s)
  Yuki Nishida, Atsushi Igarashi
- Journal Title
  
  Proceedings of ACM PPDP
  
  Volume: - Pages: 1-13
- DOI
  10.1145/3236950.3236964
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H01723
[Journal Article] Automated Verification of Functional Correctness of Race-Free GPU Programs2018
- Author(s)
  Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi
- Journal Title
  
  J. Autom. Reasoning
  
  Volume: 60(3) Issue: 3 Pages: 279-298
- DOI
  10.1007/s10817-017-9428-2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H05706
[Journal Article] A guess-and-assume approach to loop fusion for program verification2018
- Author(s)
  Imanishi Akifumi、Suenaga Kohei、Igarashi Atsushi
- Journal Title
  
  Proceedings of PEPM 2018
  
  Volume: - Pages: 2-14
- DOI
  10.1145/3162070
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H05706
[Journal Article] ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions2018
- Author(s)
  Inoue, Hiroaki ; Aotani, Tomoyuki ; Igarashi, Atsushi
- Journal Title
  
  Leibniz International Proceedings in Informatics (LIPIcs)
  
  Volume: 109
- DOI
  10.4230/LIPIcs.ECOOP.2018.2
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K16033, KAKENHI-PROJECT-17H01723
[Journal Article] Method safety mechanism for asynchronous layer deactivation2018
- Author(s)
  Kamina Tetsuo、Aotani Tomoyuki、Masuhara Hidehiko、Igarashi Atsushi
- Journal Title
  
  Science of Computer Programming
  
  Volume: 156 Pages: 104-120
- DOI
  10.1016/j.scico.2018.01.006
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033, KAKENHI-PROJECT-17H01723
[Journal Article] A Nonstandard Functional Programming Language2017
- Author(s)
  Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi
- Journal Title
  
  Proceedings of 15th Asian Symposium on Programming Languages and Systems (APLAS 2017)
  
  Volume: 無 Pages: 514-533
- DOI
  10.1007/978-3-319-71237-6_25
- ISBN
  9783319712369, 9783319712376
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H01724
[Journal Article] Verification of code generators via higher-order model checking2017
- Author(s)
  Suwa Takashi、Tsukada Takeshi、Kobayashi Naoki、Igarashi Atsushi
- Journal Title
  
  Proceedings of PEPM 2017
  
  Volume: - Pages: 59-70
- DOI
  10.1145/3018882.3018886
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H05706
[Journal Article] Stateful manifest contracts2017
- Author(s)
  Taro Sekiyama, Atsushi Igarashi
- Journal Title
  
  Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
  
  Volume: - Pages: 530-544
- DOI
  10.1145/3009837.3009875
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25280024
[Journal Article] On polymorphic gradual typing2017
- Author(s)
  Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi
- Journal Title
  
  Proceedings of the ACM on Programming Languages
  
  Volume: 1 Issue: ICFP Pages: 1-29
- DOI
  10.1145/3110284
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H01723
[Journal Article] Gradual Session Types2017
- Author(s)
  Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler
- Journal Title
  
  Proceedings of the ACM on Programming Languages
  
  Volume: 1 Issue ICFP Issue: ICFP Pages: 1-28
- DOI
  10.1145/3110282
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01723
[Journal Article] New Variants of Pattern Matching with Constants and Variables2017
- Author(s)
  Igarashi Yuki、Diptarama、Yoshinaka Ryo、Shinohara Ayumi
- Journal Title
  
  Proceedings of SOFSEM 2018, Springer LNCS
  
  Volume: 10706 Pages: 611-623
- DOI
  10.1007/978-3-319-73117-9_43
- ISBN
  9783319731162, 9783319731179
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H05706
[Journal Article] Polymorphic manifest contracts, Revised and Resolved2017
- Author(s)
  Taro Sekiyama, Atsushi Igarashi, and Michael Greenberg
- Journal Title
  
  ACM Transactions on Programming Languages and Systems
  
  Volume: 39 Issue: 1 Pages: 1-36
- DOI
  10.1145/2994594
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25280024, KAKENHI-PROJECT-17H01723
[Journal Article] An Extended Behavioral Type System for Memory-Leak Freedom2016
- Author(s)
  Qi Tan, Kohei Suenaga, Atsushi Igarashi
- Journal Title
  
  日本ソフトウェア科学会第33回大会論文集
  
  Volume: -
- NAID
  40021053614
- Open Access
- Data Source
  KAKENHI-PROJECT-25280024
[Journal Article] An Extended Behavioral Type System for Memory-Leak Freedom2016
- Author(s)
  Qi Tan, Kohei Suenaga, Atsushi Igarashi
- Journal Title
  
  日本ソフトウェア科学会第33回大会論文集
  
  Volume: －
- NAID
  40021053614
- Open Access
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] Shifting the Blame: A Blame Calculus with Static Delimited Control2015
- Author(s)
  Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi
- Journal Title
  
  Lecture Notes in Computer Science (Proceedings of Asian Symposium on Programming Languages and Systems)
  
  Volume: 9458 Pages: 189-207
- DOI
  10.1007/978-3-319-26529-2_11
- ISBN
  9783319265285, 9783319265292
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25280024
[Journal Article] {高階契約を持つプログラミング言語に対するトレース意味論2015
- Author(s)
  村井涼, 中澤巧爾, 五十嵐淳
- Journal Title
  
  第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)論文集
  
  Volume: 1
- Data Source
  KAKENHI-PROJECT-25280024
[Journal Article] Manifest Contracts for Datatypes2015
- Author(s)
  Taro Sekiyama, Yuki Nishida, Atsushi Igarashi
- Journal Title
  
  Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
  
  Volume: 1 Pages: 195-207
- DOI
  10.1145/2676726.2676996
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25280024
[Journal Article] A Behavioral Type System for Memory-Leak Freedom2015
- Author(s)
  Tan Qi, Kohei Suenaga, Atsushi Igarashi
- Journal Title
  
  第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)論文集
  
  Volume: 1
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25280024
[Journal Article] Manifest Contracts for OCaml2015
- Author(s)
  Yuki Nishida, Atsushi Igarashi
- Journal Title
  
  Online Proceedings of ACM Workshop on ML
  
  Volume: -
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25280024
[Journal Article] Automatic Memory Management Based on Program Transformation using Ownerships2014
- Author(s)
  Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi
- Journal Title
  
  Lecture Notes in Computer Science (Proceedings of Asian Symposium on Programming Languages and Systems)
  
  Volume: 8858 Pages: 58-77
- DOI
  10.1007/978-3-319-12736-1_4
- ISBN
  9783319127354, 9783319127361
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280024, KAKENHI-PROJECT-25730040
[Journal Article] 顕在的契約計算における代数的データ型2014
- Author(s)
  関山太朗, 西田雄気, 五十嵐淳
- Journal Title
  
  第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)オンライン論文集
  
  Volume: 1 Pages: 1-18
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280024
[Journal Article] On Cross-Stage Persistence in Multi-Stage Programming2014
- Author(s)
  Yuichiro Hanada and Atsushi Igarashi
- Journal Title
  
  Proc. of International Symposium on Functional and Logic Programming (Lecture Notes in Computer Science)
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280020
[Journal Article] Model-Checking Higher-Order Programs with Recursive Types2013
- Author(s)
  Naoki Kobayashi, Atsushi Igarashi
- Journal Title
  
  Proceedings of ESOP 2013, LNCS
  
  Volume: 7792 Pages: 431-450
- DOI
  10.1007/978-3-642-37036-6_24
- ISBN
  9783642370359, 9783642370366
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220001
[Journal Article] A Hoare logic for SIMT programs2013
- Author(s)
  Kensuke Kojima and Atsushi Igarashi
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8301 Pages: 58-73
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] A type system for dynamic layer composition2012
- Author(s)
  Atsushi Igarashi, Robert Hirschfeld, Hidehiko Masuhara
- Journal Title
  
  Proceedings of 19th International Workshop on Foundations of Object-Oriented Languages (FOOL 2012)
  
  Volume: 0 Pages: 13-24
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300006
[Journal Article] A Type System for Dynamic Layer Composition2012
- Author(s)
  Atsushi Igarashi, Robert Hirschfeld, Hidehiko Masuhara
- Journal Title
  
  Proc. of the International Workshop on Foundations of Object-Oriented Languages
  
  Pages: 13-24
- URL
  http://www.cs.uwm.edu/~boyland/fool2012/papers/fool2012_submission_9.pdf
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21680002
[Journal Article] A Type System for Dynamic Layer Composition2012
- Author(s)
  Atsushi Igarashi, Robert Hirschfeld, Hidehiko Masuhara
- Journal Title
  
  Proceedings of the International Workshop on Foundations of Object-Oriented Languages
  
  Volume: 1 Pages: 13-24
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21680002
[Journal Article] 顕在的契約計算におけるアップキャスト除去2012
- Author(s)
  関山太朗、五十嵐淳
- Journal Title
  
  第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012)論文集
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21680002
[Journal Article] A type system for dynamic layer composition2012
- Author(s)
  Atsushi Igarashi, Robert Hirschfeld,Hidehiko Masuhara
- Journal Title
  
  Proceedings of19th International Workshop on Foundationsof Object-Oriented Languages (FOOL 2012)
  
  Pages: 13-24
- URL
  http://www.cs.uwm.edu/~boyland/fool2012/
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300006
[Journal Article] Type-based Safe Resource Deallocation for Shared-Memory Concurrency2012
- Author(s)
  Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi
- Journal Title
  
  Proc. of ACM OOPSLA
  
  Volume: 27 Pages: 1-20
- DOI
  10.1145/2384616.2384618
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21680002, KAKENHI-PROJECT-24800035
[Journal Article] Context FJ : A minimal core calculus for context-oriented programming2011
- Author(s)
  Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara
- Journal Title
  
  Proceedings of Foundations of Aspect-Oriented Languages (FOAL2011)
  
  Pages: 25-29
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300006
[Journal Article] Constructive linear-time temporal logic:Proof systems and Kripke semantics2011
- Author(s)
  Kensuke Kojima and Atsushi Igarashi
- Journal Title
  
  Information and Computation
  
  Volume: Vol.209(12) Pages: 1491-1503
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300008
[Journal Article] Pierce, Polymorphic Contracts2011
- Author(s)
  Joao Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C
- Journal Title
  
  Proc. Of European Symposium on Programming
  
  Volume: 6602 Pages: 18-37
- DOI
  10.1007/978-3-642-19718-5_2
- ISBN
  9783642197178, 9783642197185
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21680002
[Journal Article] Polymorphic Contracts2011
- Author(s)
  Joao Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C.Plerce
- Journal Title
  
  Proc.of European Symposium on Programming (Springer LNCS series)
  
  Volume: 6602 Pages: 18-37
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21680002
[Journal Article] Featherweight Approach to FOOL2011
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Proc. Of European Conference on Object-Oriented Programming
  
  Volume: LNCS 6813 Pages: 433-433
- DOI
  10.1007/978-3-642-22655-7_20
- ISBN
  9783642226540, 9783642226557
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21680002
[Journal Article] Constructive linear-time temporal logic: Proof systems and Kripke semantics2011
- Author(s)
  Kensuke Kojima and Atsushi Igarashi
- Journal Title
  
  Information and Computation
  
  Volume: 209(12) Pages: 1491-1503
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300005
[Journal Article] Gradual Typing for Generics2011
- Author(s)
  Lintaro Ina, Atsushi Igarashi
- Journal Title
  
  Proceedings of the 2011 ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications
  
  Volume: 6813 Pages: 609-624
- DOI
  10.1145/2048066.2048114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-10J06019, KAKENHI-PROJECT-21680002
[Journal Article] ContextFJ: A minimal core calculus for context-oriented programming2011
- Author(s)
  Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara
- Journal Title
  
  Proceedings of Foundationsof Aspect-Oriented Languages (FOAL2011)
  
  Pages: 25-29
- DOI
  10.1145/1960510.1960515
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300006
[Journal Article] Type relaxed weaving2010
- Author(s)
  Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama
- Journal Title
  
  Proceedings of the 9th InternationalConference on Aspect-Oriented Software Development (AOSD'10)
  
  Pages: 121-132
- DOI
  10.1145/1739230.1739245
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300006
[Journal Article] A logical foundation for environment classifiers2010
- Author(s)
  Takeshi Tsukada, Atsushi Igarashi
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: 6(4:8)巻 Pages: 1-43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240001
[Journal Article] Polymorphic Contracts2010
- Author(s)
  Joao Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C.Pierce
- Journal Title
  
  Proceedings of European Symposium on Programming (ESOP2011)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240001
[Journal Article] Mostly modular compilation of crosscutting concerns by contextual predicate dispatch2010
- Author(s)
  Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov
- Journal Title
  
  ACM OOPSLA 2010
  
  Pages: 539-554
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22240002
[Journal Article] A logical foundation for environment classifiers2010
- Author(s)
  Takeshi Tsukada, Atsushi Igarashi
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: 6(4:8) Pages: 1-43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300005
[Journal Article] A Logical Foundation for Environment Classifiers2010
- Author(s)
  Takeshi Tsukada, Atsushi Igarashi
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: Vol.6(4:8) Pages: 1-43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300005
[Journal Article] A logical foundation for environment classifiers2010
- Author(s)
  Takeshi Tsukada and Atsushi Igarashi
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: 6巻 Pages: 1-43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240001
[Journal Article] A logical foundation for environment classifiers2010
- Author(s)
  Takeshi Tsukada, Atsushi Igarashi
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: 6 Pages: 1-43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300008
[Journal Article] A logical foundation for environment classifiers2010
- Author(s)
  Takeshi Tsukada, Atsushi Igarashi
- Journal Title
  
  Logical Methods in Computer Science 6(4:8)
  
  Pages: 1-43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240001
[Journal Article] A logical foundation for environmentclassifiers2010
- Author(s)
  Takeshi Tsukada and Atsushi Igarashi
- Journal Title
  
  Logical Methods in ComputerScience
  
  Volume: Vol.6(4:8) Pages: 1-43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300008
[Journal Article] Featherweight Java のための漸進的型付け2009
- Author(s)
  伊奈林太郎、五十嵐淳
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 26 Pages: 18-40
- NAID
  10025982355
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21680002
[Journal Article] Matching ThisType to Subtyping2009
- Author(s)
  Chieri Saito, Atsushi Igarashi
- Journal Title
  
  Proceedings of the 24th ACM Symposium on Applied Computing
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] Self Type Constructors2009
- Author(s)
  Chieri Saito, Atsushi Igarashi
- Journal Title
  
  Proc. Of ACM OOPSLA
  
  Pages: 263-282
- DOI
  10.1145/1640089.1640109
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21680002
[Journal Article] Towards Gradual Typing for Generics2009
- Author(s)
  Lintaro Ina, Atsushi Igarashi
- Journal Title
  
  Proc.of Workshop on Script to Program Evolution
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21680002
[Journal Article] Featherweight Javaのための漸進的型付け2009
- Author(s)
  伊奈林太郎、五十嵐淳
- Journal Title
  
  コンピュータソフトウェア
- NAID
  10025982355
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] Featherweight Javaのための漸進的型付け2009
- Author(s)
  伊奈林太郎、五十嵐淳
- Journal Title
  
  コンピュータソフトウェア 26
  
  Pages: 18-40
- NAID
  10025982355
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21680002
[Journal Article] A logical foundation for environment classifiers2009
- Author(s)
  Takeshi Tsukada, Atsushi Igarashi
- Journal Title
  
  Proceedings of the 9th International Conference on Typed Lambda-Calculi and Applications (TLCA'09), LNCS 5608
  
  Pages: 341-355
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] Self Type Constructors2009
- Author(s)
  Chieri Saito, Atsushi Igarashi
- Journal Title
  
  Proceedings of OOPSLA 2009
  
  Pages: 263-282
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] A logical foundation for environment classifiers2009
- Author(s)
  Takeshi Tsukada, Atsushi Iyarashi
- Journal Title
  
  Proceedings of the 9th International Conference on Typed Lambda-Calculi and Applications LNCS 5608
  
  Pages: 341-355
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] Self Type Constructors2009
- Author(s)
  Chieri Saito, Atsushi Igarashi
- Journal Title
  
  Proc.of ACM OOPSLA
  
  Pages: 263-282
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21680002
[Journal Article] A Logical Foundation for Environment Classifiers2009
- Author(s)
  Takeshi Tsukada, Atsushi Igarashi
- Journal Title
  
  Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications(TLCA'09)
  
  Pages: 341-355
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240001
[Journal Article] Towards Gradual Typing for Generics2009
- Author(s)
  Lintaro Ina, Atsushi Igarashi
- Journal Title
  
  Proc. Of Workshop on Script to Program Evolution
  
  Pages: 17-29
- DOI
  10.1145/1570506.1570509
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21680002
[Journal Article] Matching ThisType to subtyping.2009
- Author(s)
  Chieri Saito and Atsushi Igarashi
- Journal Title
  
  Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC2009)
  
  Pages: 1851-1858
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] A logical foundation for environment classifiers2009
- Author(s)
  T.Tsukada, A.Igarashi
- Journal Title
  
  Proc.TLCA'09(Springer LNCS) 5608
  
  Pages: 341-355
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300005
[Journal Article] Featherweight Javaのための漸進的型付け2009
- Author(s)
  伊奈林太郎, 五十嵐淳
- Journal Title
  
  コンピュータソフトウェア 26(2)
  
  Pages: 18-40
- NAID
  10025982355
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] The Essence of Lightweight Family Polymorphism2008
- Author(s)
  Chieri Saito, Atsushi Igarashi
- Journal Title
  
  Journal of Object Technology 7
  
  Pages: 67-99
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] Calculi of Meta-variables2008
- Author(s)
  Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
- Journal Title
  
  Frontiers of Computer Science in China 2 (1)
  
  Pages: 12-21
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] Calculi of Meta-variables2008
- Author(s)
  Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama and Atsushi Igarashi
- Journal Title
  
  Frontiers of Computer Science in China 2(1)
  
  Pages: 12-21
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] The essence of lightweight family polymorphism2008
- Author(s)
  Chieri Saito and Atsushi Igarashi
- Journal Title
  
  Journal of Object Technology 7(5)
  
  Pages: 67-99
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] Lightweight family polymorphism2008
- Author(s)
  Chieri Saito, Atsushi Igarashi, and Mirko Viroli
- Journal Title
  
  Journal of Functional Programming 18(3)
  
  Pages: 285-331
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] Calculi of Meta-variables2008
- Author(s)
  Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Iaarashi
- Journal Title
  
  Frontiers of Computer Science in China 2(1)
  
  Pages: 12-21
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] An Algorithm to Decide Conformance of Resource Usage to Specification for Resource Usage Verification2007
- Author(s)
  Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi
- Journal Title
  
  IPSJ Transactions on Programming 48(SIG 4(PRO 32))
  
  Pages: 48-61
- NAID
  110006242945
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300003
[Journal Article] Deriving compilers and virtual machines for a multi-level language2007
- Author(s)
  Atsushi Igarashi, Masashi Iwaki
- Journal Title
  
  Asian Symposium on Programming Languages and Systems (APLAS 2007)
  
  Pages: 206-221
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] Union types for object-oriented programming2007
- Author(s)
  Atsushi Igarashi, Hideshi Nagira
- Journal Title
  
  Journal of Object Technology 6・2
  
  Pages: 47-68
- Data Source
  KAKENHI-PROJECT-18049044
[Journal Article] Variant Path Types for Scalable Extensibility2007
- Author(s)
  Atsushi Igarashi and Mirko Viroli
- Journal Title
  
  Proc. Of ACM OOPSLA 2007
  
  Pages: 113-132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] Variant path types fbr scalable extensibility2007
- Author(s)
  Athushi Igarashi
- Journal Title
  
  Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
  
  Pages: 113-132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] Variant path types for scalable extensibility2007
- Author(s)
  Igarashi, A.
- Journal Title
  
  Proceedings of the International Workshop on Foundations and Developments of Object-Oriented Languages
  
  Pages: 38-49
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] Deriving compilers and virtual machines for a multi-level language2007
- Author(s)
  Atsushi Igarashi and Masashi Iwaki
- Journal Title
  
  Asian Symposium on Programming Languages and Systems (APLAS 2007)
  
  Pages: 206-221
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] The essence of lightweight family polymorphism2007
- Author(s)
  Chieri Saito and Atsushi Igarashi
- Journal Title
  
  Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007)
  
  Pages: 27-41
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] The essence of lightweight family polymorphism2007
- Author(s)
  Chieri Saito and Atsushi Igarashi
- Journal Title
  
  Proc. of the 9th Workshop on Formal Techniques for Tava-like Programs (FTfJP 2007)
  
  Pages: 27-41
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] Union types for object-oriented programming2007
- Author(s)
  Atsushi Igarashi and Hideshi Nagira
- Journal Title
  
  Journal of Object Technology 6(2)
  
  Pages: 47-68
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] Variant path types for scalable extensibility.2007
- Author(s)
  Atsushi Igarashi and Mirko Viroli
- Journal Title
  
  Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007)
  
  Pages: 113-132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] Union types for object-oriented programming2007
- Author(s)
  Igarashi, A.
- Journal Title
  
  Journal of Object Technology 6・2
  
  Pages: 47-68
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] Union Types for Object-Oriented Programming2007
- Author(s)
  Atsushi Igarashi, Hideshi Nagira
- Journal Title
  
  Journal of Object Technology 6(2)
  
  Pages: 47-68
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] 計算資源使用法検証における計算資源の仕様と実際の使用法の間の適合性検証アルゴリズム2007
- Author(s)
  岩間太, 五十嵐淳, 小林直樹
- Journal Title
  
  情報処理学会プログラミング研究会論文誌 48・SIG4
  
  Pages: 48-61
- Data Source
  KAKENHI-PROJECT-17300003
[Journal Article] Variant path types for scalable extensibility2007
- Author(s)
  Atsushi Igarashi and Mirko Viroli
- Journal Title
  
  Proceedings of the International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD 2007)
  
  Pages: 38-49
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] Deriving compilers and virtual machines for a multi-level language, Asian Symposium on Programming2007
- Author(s)
  Atsushi Igarashi, Masashi Iwaki
- Journal Title
  
  Languages and Systems (APLAS 2007)
  
  Pages: 206-221
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] Variant path types for scalable extensibility2007
- Author(s)
  Atsushi Igarashi, Mirko Viroli
- Journal Title
  
  In Proc.Of the International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD2007)
  
  Pages: 38-49
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] 計算資源使用法検証における計算資源の仕様と実際の使用法の間の適合性検証アルゴリズム2007
- Author(s)
  岩間太, 五十嵐淳, 小林直樹
- Journal Title
  
  情報処理学会論文誌:プログラミング 48(SIG4(PRO32))
  
  Pages: 48-61
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300003
[Journal Article] Union types for object-oriented programming2006
- Author(s)
  Igarashi, A.
- Journal Title
  
  ACM Transactions on Programming Languages and Systems
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] Union types for object-oriented programming2006
- Author(s)
  Igarashi, A.
- Journal Title
  
  Proceedings of the 21st Annual ACM Symposium on Applied Computing
  
  Pages: 1435-1441
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] Variant parametric types : A flexible subtyping scheme for generics2006
- Author(s)
  Atsushi Igarashi, Mirko Viroli
- Journal Title
  
  ACM Transactions on Programming Languages and Systems 28・5
  
  Pages: 795-847
- Data Source
  KAKENHI-PROJECT-18049044
[Journal Article] Union Types for Object-Oriented Programming2006
- Author(s)
  Atsushi Igarashi, Hideshi Nagira
- Journal Title
  
  In Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC2006)
  
  Pages: 1435-1441
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] Resource Usage Analysis for a Functional Language with Exceptions2006
- Author(s)
  Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi
- Journal Title
  
  Proceedings of ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation(PEPM'06)
  
  Pages: 38-47
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300003
[Journal Article] Variant parametric types: A flexible subtyping scheme for generics2006
- Author(s)
  Atsushi Igarashi and Mirko Viroli
- Journal Title
  
  ACM Transactions on Programming Languages and Systems 28(5)
  
  Pages: 795-847
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] Resource usage analysis for a functional language with exceptions2006
- Author(s)
  Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi
- Journal Title
  
  Proceedings of ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM 2006)
  
  Pages: 38-47
- Data Source
  KAKENHI-PROJECT-17300003
[Journal Article] Variant parametric types : A flexible subtyping scheme for generics2006
- Author(s)
  Igarashi, A.
- Journal Title
  
  ACM Transactions on Programming Languages and Systems 28・5
  
  Pages: 795-847
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] A modal type system for multi-level generating extensions with persistent code2006
- Author(s)
  Yoshihiro Yuse, Atsushi Igarashi
- Journal Title
  
  Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
  
  Pages: 201-212
- Data Source
  KAKENHI-PROJECT-18049044
[Journal Article] Union Types for Object-Oriented Programming2006
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Proceedings of the 21st Annual ACM Symposium on Applied Computing
  
  Pages: 1435-1441
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Union Types for Object-Oriented Programming2006
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  The 21st Annual ACM Symposium on Applied Computing
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Proving Noninterference by a Fully Complete Translation to the Simply Typed λ-Calculus2006
- Author(s)
  Naokata Shikuma, Atsushi Igarashi
- Journal Title
  
  Proceedings of the 11th Annual Asian Computing Science Conference(ASIAN'06) 4435
  
  Pages: 302-316
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300003
[Journal Article] Variant Parametric Types : A Flexible Subtyping Scheme for Generics2006
- Author(s)
  Atsushi Igarashi, Mirko Viroli
- Journal Title
  
  ACM Transactions on Programming Languages and Systems 28(5)
  
  Pages: 795-847
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] Union types for object-oriented programming2006
- Author(s)
  Atsushi Igarashi and Hideshi Nagira
- Journal Title
  
  Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC2006)
  
  Pages: 1435-1441
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] 様相型に基づく情報流解析における非干渉性の論理関係による一般化とその証明2006
- Author(s)
  四熊尚方, 五十嵐淳
- Journal Title
  
  第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)オンライン論文集
  
  Pages: 134-149
- Data Source
  KAKENHI-PROJECT-17300003
[Journal Article] Tutorial-Type Systems for Object-Oriented Languages2005
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Proceedings of the 3rd Asian Symposium on Programming Languages and Systems
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Resource Usage Analysis2005
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  ACM Transactions on Programming Languages and Systeis 27・2
  
  Pages: 264-313
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Tutorial - Type Systems for Object-Oriented Languages2005
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Proceedings of the 3rd Asian Symposium on Programming Languages and Systems
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Processes as Types : A Generic Framework of Behavioral Type Systems for Concurrent Processes2005
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Resource Usage Analysis2005
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  ACM Transactions on Programming Languages and Systems 27・2
  
  Pages: 264-313
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Resource Usage Analysis2005
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  ACM Transactions on Programming Languages and Systems 27(2)
  
  Pages: 264-313
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Resource Usage Analysis2005
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  ACM Transactions on Programming Languages and Systems (in print)
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Variant Parametric Types : A Flexible Subtyping Scheme for Generics2005
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  ACM Transactions on Programming Languages and Systems (in print)
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Lightweight Family Polymorphism2005
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Proceedings of the 3rd Asian Symposium on Programming Languages and Systems
  
  Pages: 161-177
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Lightweight Family Polymorphism2005
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  The 3rd Asian Symposium on Programming Languages and Systems
  
  Pages: 161-177
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Processes as Types : A Generic Framework of Behavioral Type Systems for Concurrent Processes2005
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Proc. of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Generic Java:多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング2004
- Author(s)
  五十嵐淳
- Journal Title
  
  情報処理 45・6
  
  Pages: 610-617
- NAID
  110002711391
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Generic Java : 多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング2004
- Author(s)
  五十嵐淳
- Journal Title
  
  情報処理 45・6
  
  Pages: 610-617
- NAID
  110002711391
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] A Generic Type System for the Pi-Calculus2003
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Theoretical Computer Science 311(1-3)
  
  Pages: 121-163
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] A Generic Type System for the Pi-Calculus2003
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Theoretical Computer Science 311・1-3
  
  Pages: 121-163
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] On Inner Classes2002
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Information and Computation 177(1)
  
  Pages: 56-89
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Foundations for Virtual Types2002
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Information and Computation 175(1)
  
  Pages: 34-49
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Foundations for Virtual Types2002
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Information and Computation 175・1
  
  Pages: 34-49
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Resource Usage Analysis2002
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Proceedings of ACM Symposium on Principles of Programming Languages
  
  Pages: 331-342
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] On Variance-Based Subtyping for Parametric Types2002
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Proceedings of the 16th European Conference on Object-Oriented Programming
  
  Pages: 441-469
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] On Inner Classes2002
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  Information and Computation 177・1
  
  Pages: 56-89
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Lightweight family polymorphism
- Author(s)
  Chieri Saito, Atsushi Igarashi, Mirko Viroli
- Journal Title
  
  Journal of Functional Programming (印刷中)
- Data Source
  KAKENHI-PROJECT-18700026
[Journal Article] Variant Parametric Types : A Flexible Subtyping Scheme for Generics
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  ACM Transactions on Programming Languages and Systems. (in print)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Proving noninterference by fully complete translation to the simply typed λ-calculus
- Author(s)
  Naokata Shikuma, Atsushi Igarashi
- Journal Title
  
  Proceedings of the 11th Annual Asian Computing Science Conference (ASIAN' 06) (印刷中)
- Data Source
  KAKENHI-PROJECT-18049044
[Journal Article] Matching MyType with Subtyping
- Author(s)
  Chieri Saito, Atsushi Igarashi
- Journal Title
  
  Science of Computer Programming
  
  Volume: (印刷中)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21680002
[Journal Article] Variant Parametric Types : A Flexible Subtyping Scheme for Generics
- Author(s)
  Atsushi Igarashi
- Journal Title
  
  ACM Transactions on Programming Languages and Systems (In print)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Patent] プログラム検証装置,プログラム検証方法,プログラム検証のためのコンピュータプログラム,プログラム変換器,プログラム変換方法,プログラム変換のためのコンピュータプログラム,プログラム製造方法,及び...2017
- Inventor(s)
  今西諒文，末永幸平，五十嵐淳
- Industrial Property Rights Holder
  今西諒文，末永幸平，五十嵐淳
- Industrial Property Rights Type
  特許
- Filing Date
  2017
- Data Source
  KAKENHI-PROJECT-15H05706
[Presentation] 代数的エフェクトとハンドラのためのエフェクトシステムの抽象化2023
- Author(s)
  吉岡拓真, 関山太朗, 五十嵐淳
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
- Data Source
  KAKENHI-PROJECT-20H00582
[Presentation] 限定継続のための高階プログラム論理2023
- Author(s)
  佐藤惇, 関山太朗, 五十嵐淳
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
- Data Source
  KAKENHI-PROJECT-20H00582
[Presentation] Contextual Modal Type Theory with Polymorphic Contexts2023
- Author(s)
  Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi
- Organizer
  European Symposium on Programming
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H00582
[Presentation] Stage-Aware Equality Types for a Dependently-Typed Multi-Stage Calculus2022
- Author(s)
  Shuntaro Katsuda, Atsushi Igarashi
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL2022)
- Data Source
  KAKENHI-PROJECT-20H00582
[Presentation] SCameleer: スマートコントラクト記述言語SCamlのための自動検証器2022
- Author(s)
  服部佑哉 , 西田雄気 , 古瀬淳 , 末永幸平 , 五十嵐淳
- Organizer
  日本ソフトウェア科学会第39回大会
- Data Source
  KAKENHI-PROJECT-19H04084
[Presentation] スマートコントラクト検証器Helmholtzのためのエラー原因提示手法2022
- Author(s)
  小野雄登 , 西田雄気 , 古瀬淳 , 末永幸平 , 五十嵐淳
- Organizer
  日本ソフトウェア科学会第39回大会
- Data Source
  KAKENHI-PROJECT-19H04084
[Presentation] (I Can't Get No) Verification2022
- Author(s)
  Atsushi Igarashi
- Organizer
  OOPSLA 2022
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H05703
[Presentation] BOREx: Bayesian-Optimization-Based Refinement of?Saliency Map for Image- and Video-Classification Models2022
- Author(s)
  Kikuchi Atsushi、Uchida Kotaro、Waga Masaki、Suenaga Kohei
- Organizer
  ACCV 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04084
[Presentation] Type-based Qubit Allocation for a First-Order Quantum Programming Language2022
- Author(s)
  Ryo Wakizaka, Atsushi Igarashi
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL2022)
- Data Source
  KAKENHI-PROJECT-20H00582
[Presentation] レコードとハッシュテーブルの暗黙な相互運用を可能にする型推論とコンパイル手法2021
- Author(s)
  梅木孝輔, 関山太朗, 五十嵐淳
- Organizer
  第23回プログラミングおよびプログラミング言語ワークショップ(PPL2021)
- Data Source
  KAKENHI-PROJECT-20H00582
[Presentation] Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.2021
- Author(s)
  Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
- Organizer
  TACAS 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04084
[Presentation] Is Space-Efficient Polymorphic Gradual Typing Possible?2021
- Author(s)
  Shota Ozaki, Taro Sekiyama, Atsushi Igarashi
- Organizer
  Scheme and Functional Programming Workshop
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H00582
[Presentation] 暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証2021
- Author(s)
  伴野良太郎, 佐藤聡太, 古瀬淳, 末永幸平, 五十嵐淳
- Organizer
  PPL 2021
- Data Source
  KAKENHI-PROJECT-19H04084
[Presentation] Space-Efficient Gradual Typing in Coercion-Passing Style2020
- Author(s)
  Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi
- Organizer
  European Conference on Object-Oriented Programming (ECOOP2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H00582
[Presentation] Gradual Typing for Extensibility by Rows2020
- Author(s)
  Taro Sekiyama, Atsushi Igarashi
- Organizer
  Workshop on Gradual Typing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] 依存型を備えた多段階計算の同値型による拡張2020
- Author(s)
  勝田峻太朗，五十嵐淳
- Organizer
  第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020)
- Data Source
  KAKENHI-PROJECT-17H01724
[Presentation] Space-Efficient Gradual Typing in Coercion-Passing Style2020
- Author(s)
  Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi
- Organizer
  Workshop on Gradual Typing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] スマートコントラクトのための Effectively Callback-Free 性の型に基づく静的検証2020
- Author(s)
  齋藤大聖, 西田雄気, 五十嵐淳, 末永幸平
- Organizer
  PPL 2020
- Data Source
  KAKENHI-PROJECT-19H04084
[Presentation] F*を用いたMerkle Patricia Treeライブラリの形式検証2020
- Author(s)
  佐藤聡太, 古瀬淳, 末永幸平, 五十嵐淳
- Organizer
  PPL 2020
- Data Source
  KAKENHI-PROJECT-19H04084
[Presentation] Space-Efficient Gradual Typing in Coercion-Passing Style2020
- Author(s)
  Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi
- Organizer
  European Conference on Object-Oriented Programming (ECOOP2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] Dynamic Type Inference for Gradual Hindley-Milner Typing2019
- Author(s)
  Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
- Organizer
  The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] Manifest Contracts with Intersection Types2019
- Author(s)
  Yuki Nishida, Atsushi Igarashi
- Organizer
  Asian Symposium on Programming Languages and Systems (APLAS2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] Handling Polymorphic Algebraic Effects2019
- Author(s)
  Atsushi Igarashi, Taro Sekiyama
- Organizer
  NII Shonan Meeting No. 146
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] Handling Polymorphic Algebraic Effects2019
- Author(s)
  Taro Sekiyama, Atsushi Igarashi
- Organizer
  European Symposium on Programming (ESOP 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] Gradual Session Types In Imperative Style2019
- Author(s)
  Kaede Kobayashi, Atsushi Igarashi
- Organizer
  Fourth Workshop on Behavioral Types
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] A Dependently Typed Multi-Stage Calculus2019
- Author(s)
  Akira Kawata, Atsushi Igarashi
- Organizer
  Asian Symposium on Programming Languages and Systems (APLAS2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01724
[Presentation] Handling Polymorphic Algebraic Effects2019
- Author(s)
  Taro Sekiyama, Atsushi Igarashi
- Organizer
  European Symposium on Programming (ESOP2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01724
[Presentation] 空間効率の良いコアーション計算のためのコアーション渡し形式2019
- Author(s)
  津田優也, 五十嵐淳
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions2018
- Author(s)
  Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi
- Organizer
  European Conference on Object-Oriented Programming (ECOOP 2018)
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] Nondeterministic Manifest Contracts2018
- Author(s)
  Yuki Nishida, Atsushi Igarashi
- Organizer
  The 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] 非決定的顕在的契約計算2018
- Author(s)
  西田雄気，五十嵐淳
- Organizer
  第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018)
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] Gradual Session Types2017
- Author(s)
  Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler
- Organizer
  ACM SIGPLAN International Conference on Functional Programming
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] On Polymorphic Gradual Typing2017
- Author(s)
  Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi
- Organizer
  ACM SIGPLAN International Conference on Functional Programming
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] A Type Reconstruction Algorithm for Gradually Typed Delimited Continuations2017
- Author(s)
  Yusuke Miyazaki, Atsushi Igarashi
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  山梨県笛吹市
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] アクセス制御論理に基づくIoT向け分散型アクセス制御フレームワーク2017
- Author(s)
  五十嵐琢磨，馬谷誠二
- Organizer
  第15回ディペンダブルシステムワークショップ (DSW 2017)
- Data Source
  KAKENHI-PROJECT-17H01723
[Presentation] Stateful manifest contracts2017
- Author(s)
  Taro Sekiyama, Atsushi Igarashi
- Organizer
  ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
- Place of Presentation
  フランス・パリ
- Year and Date
  2017-01-18
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] 限定継続演算子 shift/reset のための漸進的型付け2016
- Author(s)
  宮﨑勇輔, 関山太朗，五十嵐淳
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ（PPL2016）
- Place of Presentation
  ダイヤモンド瀬戸内マリンホテル(岡山県玉野市)
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] An Extended Behavioral Type System for Memory-Leak Freedom2016
- Author(s)
  Qi Tan and Kohei Suenaga, Atsushi Igarashi
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  東北大学
- Year and Date
  2016-09-06
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] Gradual typing for delimited continuations2016
- Author(s)
  Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
- Organizer
  International Workshop on Scripts to Programs
- Place of Presentation
  イタリア・ローマ
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] An Extended Behavioral Type System for Memory-Leak Freedom2016
- Author(s)
  Qi Tan, Kohei Suenaga, Atsushi Igarashi
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  仙台市青葉区
- Year and Date
  2016-09-06
- Data Source
  KAKENHI-PROJECT-25280025
[Presentation] 参照を備えた多段階計算のための多相的型システム2015
- Author(s)
  小林恵，五十嵐淳
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学理工学部
- Year and Date
  2015-09-11
- Data Source
  KAKENHI-PROJECT-25280025
[Presentation] 参照を備えた多段階計算のための多相的型システム2015
- Author(s)
  小林恵, 五十嵐淳
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学(東京都新宿区）
- Year and Date
  2015-09-08
- Data Source
  KAKENHI-PROJECT-25280020
[Presentation] Shifting the Blame: A Blame Calculus with Static Delimited Control2015
- Author(s)
  Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi
- Organizer
  13th Asian Symposium on Programming Languages and Systems (APLAS2015)
- Place of Presentation
  Pohang, Korea
- Year and Date
  2015-11-29
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] Manifest Contracts for ML2015
- Author(s)
  Yuki Nishida, Atsushi Igarashi
- Organizer
  ACM Workshop on ML
- Place of Presentation
  Vancouver, Canada
- Year and Date
  2015-09-03
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] 顕在的契約計算における代数的データ型2014
- Author(s)
  関山太朗, 西田雄気, 五十嵐淳
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)
- Place of Presentation
  熊本県阿蘇市
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] 限定継続を備えた計算体系へのソフトウェア契約の導入2014
- Author(s)
  上田宗一郎, 関山太朗, 五十嵐淳
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)
- Place of Presentation
  熊本県阿蘇市
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] 型に基づく実行時契約検査機構の実装2014
- Author(s)
  西田雄気, 関山太朗, 五十嵐淳
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)
- Place of Presentation
  熊本県阿蘇市
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] 契約つきモジュール計算のトレース意味論に向けて2014
- Author(s)
  村井涼, 五十嵐淳, 中澤巧爾
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)
- Place of Presentation
  熊本県阿蘇市
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] Type Systems for Context-Oriented Programming2013
- Author(s)
  Atsushi Igarashi
- Organizer
  International Workshop on Foundations of Aspect-Oriented Languages (招待講演)
- Place of Presentation
  日本・福岡
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] 多段階計算λ＞のための越段階埋込2013
- Author(s)
  花田裕一朗、五十嵐淳
- Organizer
  日本ソフトウェア科学会第３０回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-25280020
[Presentation] 動的レイヤー合成のための型システム2013
- Author(s)
  井上裕昭, 五十嵐淳, Robert Hirschfeld, 増原英彦
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ (PPL2013)
- Place of Presentation
  福島県会津若松東山温泉「御宿東鳳」
- Year and Date
  2013-03-04
- Data Source
  KAKENHI-PROJECT-21300006
[Presentation] Type-based Safe Resource Deallocation for Shared-Memory Concurrency2012
- Author(s)
  Ryota Fukuda, Kohei Suenaga, Atsushi Igarashi
- Organizer
  ACM OOPSLA
- Place of Presentation
  アメリカ・アリゾナ州・ツーソン
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] 顕在的契約計算におけるアップキャスト除去2012
- Author(s)
  関山太朗、五十嵐淳
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012)
- Place of Presentation
  和歌山県西牟婁郡白浜町
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] Logical Relations for a Manifest Contract Calculus2012
- Author(s)
  Taro Sekiyama, Atsushi Igarashi
- Organizer
  Fixed, ACM SIGPLAN Workshop on Higher-Order Programming with Effects
- Place of Presentation
  デンマーク・コペンハーゲン
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] Type-based Safe Resource Deallocation for Shared-Memory Concurrency2012
- Author(s)
  Ryota Fukuda, Kohei Suenaga, Atsushi Igarashi
- Organizer
  ACM OOPSLA
- Place of Presentation
  Tucson, AZ
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] 顕在的契約計算におけるアップキャスト除去2012
- Author(s)
  関山太朗、五十嵐淳
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  和歌山県西牟婁郡白浜町
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] A Type System for Dynamic Layer Composition2012
- Author(s)
  Atsushi Igarashi, Robert Hirschfeld, Hidehiko Masuhara
- Organizer
  International Workshop on Foundations of Object-Oriented Languages
- Place of Presentation
  アメリカ・アリゾナ州・ツーソン
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] A Featherweight Approach to FOOL2011
- Author(s)
  Atsushi Igarashi
- Organizer
  European Conference on Object-Oriented Programming (ECOOP 2011)
- Place of Presentation
  イギリス・ランカスター
- Year and Date
  2011-07-29
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] Polymorphic Contracts2011
- Author(s)
  Joao Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C.Plerce
- Organizer
  European Symposium on Programming
- Place of Presentation
  ドイツ・ザールブルッケン大
- Year and Date
  2011-03-31
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] Benjamin C. Pierce, Polymorphic Contracts2011
- Author(s)
  Joao Filipe Belo, Michael Greenberg, Atsushi Igarashi
- Organizer
  European Symposium on Programming
- Place of Presentation
  ドイツ・ザールブルッケン
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] Gradual Typing for Generics2011
- Author(s)
  Lintaro Ina, Atsushi Igarashi
- Organizer
  ACM OOPSLA
- Place of Presentation
  アメリカ・オレゴン州ポートランド
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] Featherweight Approach to FOOL2011
- Author(s)
  Atsushi Igarashi
- Organizer
  European Conference on Object-Oriented Programming
- Place of Presentation
  イギリス・ランカスター
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] 低水準コード生成を行うλ○仮想機械の融合変換を使った系統的導出2011
- Author(s)
  小山内幸一, 五十嵐淳
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄県市町村自治会館・沖縄県那覇市
- Year and Date
  2011-09-27
- Data Source
  KAKENHI-PROJECT-21300005
[Presentation] 低水準コード生成を行う λ○仮想機械の融合変換を使った系統的導出2011
- Author(s)
  小山内幸一, 五十嵐淳
- Organizer
  日本ソフトウェア科学会第28回大会論文集
- Place of Presentation
  沖縄県市町村自治会館(沖縄県那覇市)
- Year and Date
  2011-09-27
- Data Source
  KAKENHI-PROJECT-21300005
[Presentation] Gradual Typing for Generics2011
- Author(s)
  Lintaro Ina, Atsushi Igarashi
- Organizer
  ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA2011)
- Place of Presentation
  アメリカ・ポートランド
- Year and Date
  2011-10-26
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] Self Type Constructors2009
- Author(s)
  Chieri Saito, Atsushi Igarashi
- Organizer
  ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
- Place of Presentation
  アメリカ・フロリダ州・オーランド
- Year and Date
  2009-10-29
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] Self Type Constructors, ACM Conference on Object-Oriented Programming2009
- Author(s)
  Chieri Saito, Atsushi Igarashi
- Organizer
  Systems, Languages, and Applications
- Place of Presentation
  アメリカ・フロリダ州オーランド
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] Towards Gradual Typing for Generics2009
- Author(s)
  Lintaro Ina, Atsushi Igarashi
- Organizer
  International Workshop on Script to Program Evolution
- Place of Presentation
  イタリア・ジェノヴァ
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] Towards Gradual Typing for Generics2009
- Author(s)
  Lintaro Ina, Atsushi Igarashi
- Organizer
  International Workshop on Script to Program Evolution (STOP)
- Place of Presentation
  イタリア・ジェノヴァ
- Year and Date
  2009-07-06
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] Matching ThisType to subtyping2009
- Author(s)
  Chieri Saito and Atsushi Igarashi
- Organizer
  The 24th Annual ACM Symposium on Applied Computing (SAC2009)
- Place of Presentation
  アメリカ合衆国ホノルル
- Data Source
  KAKENHI-PROJECT-18700026
[Presentation] A logical foundation for environment classifiers, Proceedings of2009
- Author(s)
  Takeshi Tsukada, Atsushi Igarashi
- Organizer
  the 9th International Conference on Typed Lambda-Calculi and Applications (TLCA '09)LNCS 5608(341-355)
- Data Source
  KAKENHI-PROJECT-19300007
[Presentation] Featherweight Javaのための漸進的型付け2008
- Author(s)
  伊奈林太郎, 五十嵐淳
- Organizer
  第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)
- Place of Presentation
  宮城県仙台市
- Year and Date
  2008-03-05
- Data Source
  KAKENHI-PROJECT-18700026
[Presentation] Featherweight Javaのための漸進的型付け2008
- Author(s)
  伊奈林太郎, 五十嵐淳
- Organizer
  第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)オンライン論文集
- Place of Presentation
  仙台市太白区
- Year and Date
  2008-03-05
- Data Source
  KAKENHI-PROJECT-18700026
[Presentation] 文脈依存資源使用解析のための型システム2008
- Author(s)
  仲井間達也、五十嵐淳、小林直樹
- Organizer
  第10回プログラミングおよびプログラミング言語ワークショップ(PPL'08)
- Place of Presentation
  仙台市
- Year and Date
  2008-03-06
- Data Source
  KAKENHI-PROJECT-17300003
[Presentation] Variant path types for scalable extensibility2007
- Author(s)
  Atsushi Igarashi and Mirko Viroli
- Organizer
  The ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007)
- Place of Presentation
  カナダ・モントリオール
- Data Source
  KAKENHI-PROJECT-18700026
[Presentation] The essence of lightweight family polymorphism2007
- Author(s)
  Chieri Saito and Atsushi Igarashi
- Organizer
  The 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007)
- Place of Presentation
  ドイツ・ベルリン
- Data Source
  KAKENHI-PROJECT-18700026
[Presentation] Variant path types for scalable extensibility2007
- Author(s)
  Athushi Igarashi
- Organizer
  Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
- Data Source
  KAKENHI-PROJECT-18200001
[Presentation] Variant path types for scalable extensibility2007
- Author(s)
  Atsushi Igarashi
- Organizer
  ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
- Place of Presentation
  Palais des congres Montreal,Montreal
- Year and Date
  2007-10-23
- Data Source
  KAKENHI-PROJECT-18200001
[Presentation] Variant path types for scalable extensibility2007
- Author(s)
  Atsushi Igarashi and Mirko Viroli
- Organizer
  The International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD 2007)
- Place of Presentation
  フランス・ニース
- Data Source
  KAKENHI-PROJECT-18700026
[Presentation] Deriving compilers and virtual machines for a multi-level language2007
- Author(s)
  Atsushi I arashi, Masashi Iwaki
- Organizer
  Asian Symposium on Programming Languages and Systems (APLAS 2007)(206-221)
- Data Source
  KAKENHI-PROJECT-19300007
[Presentation] Union types for object-oriented programming2006
- Author(s)
  Atsushi Igarashi and Hideshi Nagira
- Organizer
  The 21st Annual ACM Symposium on Applied Computing (SAC2006)
- Place of Presentation
  フランス・ディジョン
- Data Source
  KAKENHI-PROJECT-18700026
[Presentation] Manifest Contracts for Datatypes
- Author(s)
  Taro Sekiyama, Yuki Nishida, Atsushi Igarashi
- Organizer
  ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
- Place of Presentation
  Mumbai, India
- Year and Date
  2015-01-15 – 2015-01-17
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] {高階契約を持つプログラミング言語に対するトレース意味論
- Author(s)
  村井涼, 中澤巧爾, 五十嵐淳
- Organizer
  第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)
- Place of Presentation
  愛媛県松山市道後プリンスホテル
- Year and Date
  2015-03-04 – 2015-03-06
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] A Type System for Dynamic Layer Composition
- Author(s)
  Atsushi Igarashi, Robert Hirschfeld, Hidehiko Masuhara
- Organizer
  International Workshop on Foundations of Object-Oriented Languages
- Place of Presentation
  Tucson, AZ
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] Logical Relations for a Manifest Contract Calculus, Fixed
- Author(s)
  Taro Sekiyama, Atsushi Igarashi
- Organizer
  ACM SIGPLAN Workshop on Higher-Order Programming with Effects
- Place of Presentation
  Copenhagen, Denmark
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] Type Systems for Context-Oriented Programming
- Author(s)
  Atsushi Igarashi
- Organizer
  International Workshop on Foundations of Aspect-Oriented Languages
- Place of Presentation
  Fukuoka, Japan
- Invited
- Data Source
  KAKENHI-PROJECT-21680002
[Presentation] Automatic Memory Management Based on Program Transformation using Ownerships
- Author(s)
  Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi
- Organizer
  Asian Symposium on Programming Languages and Systems
- Place of Presentation
  Singapore
- Year and Date
  2014-11-17 – 2014-11-19
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] A Behavioral Type System for Memory-Leak Freedom
- Author(s)
  Tan Qi, Kohei Suenaga, Atsushi Igarashi
- Organizer
  第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)
- Place of Presentation
  愛媛県松山市道後プリンスホテル
- Year and Date
  2015-03-04 – 2015-03-06
- Data Source
  KAKENHI-PROJECT-25280024
[Presentation] Automatic Synthesis of Combiners in the MapReduce Framework: An Approach with Right Inverse
- Author(s)
  Minoru Kinoshita, Kohei Suenaga, Atsushi Igarashi
- Organizer
  International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR2014)
- Place of Presentation
  Canterbury, UK
- Year and Date
  2014-09-09 – 2014-09-11
- Data Source
  KAKENHI-PROJECT-25280024

1. KOBAYASHI Naoki (00262155)

# of Collaborated Projects: 10 results

# of Collaborated Products: 12 results
2. UNNO Hiroshi (80569575)

# of Collaborated Projects: 7 results

# of Collaborated Products: 1 results
3. SATO Masahiko (20027387)

# of Collaborated Projects: 6 results

# of Collaborated Products: 3 results
4. NAKAZAWA Koji (80362581)

# of Collaborated Projects: 6 results

# of Collaborated Products: 3 results
5. KAMEYAMA Yukiyoshi (10195000)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
6. MASUHARA Hidehiko (40280937)

# of Collaborated Projects: 4 results

# of Collaborated Products: 6 results
7. TAMAI Tetsuo (60217172)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
8. NAKAJIMA Shin (60350211)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
9. UBAYASHI Naoyasu (80372762)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
10. SUMII Eijiro (00333550)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
11. TERAUCHI Tachio (70447150)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
12. Suenaga Kohei (70633692)

# of Collaborated Projects: 3 results

# of Collaborated Products: 16 results
13. 桜井貴文 (60183373)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
14. 佐藤亮介 (10804677)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
15. CHIBA Shigeru (80282713)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
16. KAMINA Tetsuo (90431882)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
17. YAMAMOTO Akihiro (30230535)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
18. YUASA Taiichi (60158326)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
19. MATSUDA Kazutaka (10583627)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
20. ASAI Kenichi (10262156)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
21. SHINOHARA Ayumi (00226151)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
22. 馬谷誠二 (40378831)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
23. 池渕未来 (70961796)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
24. 関山太朗 (80828476)

# of Collaborated Projects: 2 results

# of Collaborated Products: 7 results
25. KISELYOV Oleg (50754602)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. YONEZAWA Akinori (00133116)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. TAURA Kenjiro (90282714)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. WATANABE Takuo (20222408)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. SHIBAYAMA Etsuya (80162642)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. 外山芳人 (00251968)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. 金子知適 (00345068)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. 青山幹雄 (40278073)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. 竹内泉 (20264583)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. 塚田武志 (50758951)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
35. 吉仲亮 (80466424)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. 佐藤一誠 (90610155)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. 田邉裕大 (30985198)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. 松下祐介 (41003875)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. TONOUCHI Toshio

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. 青谷知幸

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Igarashi Atsushi 五十嵐 淳

IGARASHI Atsushi 五十嵐 淳

五十風 淳 イガラシ アツシ

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on software contracts for highly interoperable software modulesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Theory of Gradual Typing for Modern Programming LanguagesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Theory of Higher-Order Typed Programs based Software ContractsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Igarashi Atsushi 五十嵐淳

IGARASHI Atsushi 五十嵐淳

五十風淳イガラシアツシ