BibTeX records: Atsushi Igarashi

download as .bib file

@inproceedings{DBLP:conf/esop/MuraseNI23,
  author       = {Yuito Murase and
                  Yuichi Nishiwaki and
                  Atsushi Igarashi},
  editor       = {Thomas Wies},
  title        = {Contextual Modal Type Theory with Polymorphic Contexts},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {281--308},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_11},
  doi          = {10.1007/978-3-031-30044-8\_11},
  timestamp    = {Sat, 13 May 2023 01:07:18 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/MuraseNI23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cop-ws/2023,
  editor       = {Yudai Tanabe and
                  Lars Sch{\"{u}}tze and
                  Robert Hirschfeld and
                  Atsushi Igarashi and
                  Hidehiko Masuhara},
  title        = {Proceedings of the 15th {ACM} International Workshop on Context-Oriented
                  Programming and Advanced Modularity, {COP} 2023, Seattle, WA, USA,
                  17 July 2023},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3605154},
  doi          = {10.1145/3605154},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cop-ws/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-01856,
  author       = {Ryo Wakizaka and
                  Atsushi Igarashi},
  title        = {Type-based Qubit Allocation for a First-Order Quantum Programming
                  Language},
  journal      = {CoRR},
  volume       = {abs/2306.01856},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2306.01856},
  doi          = {10.48550/ARXIV.2306.01856},
  eprinttype    = {arXiv},
  eprint       = {2306.01856},
  timestamp    = {Mon, 12 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-01856.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/AnconaFFHILMSW22,
  author       = {Davide Ancona and
                  Olivier Fl{\"{u}}ckiger and
                  Adrian Francalanza and
                  Robert Hirschfeld and
                  Atsushi Igarashi and
                  Yu David Liu and
                  Hidehiko Masuhara and
                  Chris Seaton and
                  Harumi Watanabe},
  title        = {Preface to the {JOT} special issue on {ECOOP} 2021: selected workshop
                  papers},
  journal      = {J. Object Technol.},
  volume       = {21},
  number       = {2},
  year         = {2022},
  url          = {https://doi.org/10.5381/jot.2022.21.2.e1},
  doi          = {10.5381/JOT.2022.21.2.E1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jot/AnconaFFHILMSW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/NishidaSCKFSI22,
  author       = {Yuki Nishida and
                  Hiromasa Saito and
                  Ran Chen and
                  Akira Kawata and
                  Jun Furuse and
                  Kohei Suenaga and
                  Atsushi Igarashi},
  title        = {Helmholtz: {A} Verifier for Tezos Smart Contracts Based on Refinement
                  Types},
  journal      = {New Gener. Comput.},
  volume       = {40},
  number       = {2},
  pages        = {507--540},
  year         = {2022},
  url          = {https://doi.org/10.1007/s00354-022-00167-1},
  doi          = {10.1007/S00354-022-00167-1},
  timestamp    = {Mon, 24 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/NishidaSCKFSI22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splash/Igarashi22,
  author       = {Atsushi Igarashi},
  editor       = {Alex Potanin},
  title        = {{(I} Can't Get No) Verification (Keynote)},
  booktitle    = {Companion Proceedings of the 2022 {ACM} {SIGPLAN} International Conference
                  on Systems, Programming, Languages, and Applications: Software for
                  Humanity, {SPLASH} Companion 2022, Auckland, New Zealand, December
                  5-10, 2022},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563768.3570524},
  doi          = {10.1145/3563768.3570524},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/splash/Igarashi22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2022cop,
  editor       = {Yudai Tanabe and
                  Atsushi Igarashi},
  title        = {COP@ECOOP 2022: International Workshop on Context-Oriented Programming
                  and Advanced Modularity (collocated with ECOOP), Berlin, Germany,
                  7 June 2022},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3570353},
  doi          = {10.1145/3570353},
  isbn         = {978-1-4503-9986-9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/2022cop.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2022,
  editor       = {Michael Hanus and
                  Atsushi Igarashi},
  title        = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
                  2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13215},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99461-7},
  doi          = {10.1007/978-3-030-99461-7},
  isbn         = {978-3-030-99460-0},
  timestamp    = {Thu, 05 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/0001SCKFSI21,
  author       = {Yuki Nishida and
                  Hiromasa Saito and
                  Ran Chen and
                  Akira Kawata and
                  Jun Furuse and
                  Kohei Suenaga and
                  Atsushi Igarashi},
  editor       = {Jan Friso Groote and
                  Kim Guldstrand Larsen},
  title        = {Helmholtz: {A} Verifier for Tezos Smart Contracts Based on Refinement
                  Types},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 27th International Conference, {TACAS} 2021, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12652},
  pages        = {262--280},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-72013-1\_14},
  doi          = {10.1007/978-3-030-72013-1\_14},
  timestamp    = {Fri, 14 May 2021 08:34:19 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/0001SCKFSI21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2021cop,
  editor       = {Yu David Liu and
                  Harumi Watanabe and
                  Robert Hirschfeld and
                  Atsushi Igarashi and
                  Hidehiko Masuhara},
  title        = {COP@ECOOP 2021: Proceedings of the 13th {ACM} International Workshop
                  on Context-Oriented Programming and Advanced Modularity, Virtual Event,
                  Denmark, July 12, 2021},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3464970},
  doi          = {10.1145/3464970},
  isbn         = {978-1-4503-8542-8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/2021cop.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-04826,
  author       = {Sota Sato and
                  Ryotaro Banno and
                  Jun Furuse and
                  Kohei Suenaga and
                  Atsushi Igarashi},
  title        = {Verification of a Merkle Patricia Tree Library Using {F}},
  journal      = {CoRR},
  volume       = {abs/2106.04826},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.04826},
  eprinttype    = {arXiv},
  eprint       = {2106.04826},
  timestamp    = {Tue, 07 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-04826.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-12971,
  author       = {Yuki Nishida and
                  Hiromasa Saito and
                  Ran Chen and
                  Akira Kawata and
                  Jun Furuse and
                  Kohei Suenaga and
                  Atsushi Igarashi},
  title        = {{HELMHOLTZ:} {A} Verifier for Tezos Smart Contracts Based on Refinement
                  Types},
  journal      = {CoRR},
  volume       = {abs/2108.12971},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.12971},
  eprinttype    = {arXiv},
  eprint       = {2108.12971},
  timestamp    = {Thu, 02 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-12971.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SekiyamaTI20,
  author       = {Taro Sekiyama and
                  Takeshi Tsukada and
                  Atsushi Igarashi},
  title        = {Signature restriction for polymorphic algebraic effects},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{ICFP}},
  pages        = {117:1--117:30},
  year         = {2020},
  url          = {https://doi.org/10.1145/3408999},
  doi          = {10.1145/3408999},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/SekiyamaTI20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/TsudaIT19,
  author       = {Yuya Tsuda and
                  Atsushi Igarashi and
                  Tomoya Tabuchi},
  editor       = {Robert Hirschfeld and
                  Tobias Pape},
  title        = {Space-Efficient Gradual Typing in Coercion-Passing Style},
  booktitle    = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
                  November 15-17, 2020, Berlin, Germany (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {166},
  pages        = {8:1--8:29},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.8},
  doi          = {10.4230/LIPICS.ECOOP.2020.8},
  timestamp    = {Mon, 21 Dec 2020 13:23:22 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/TsudaIT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/TomanSSI020,
  author       = {John Toman and
                  Ren Siqi and
                  Kohei Suenaga and
                  Atsushi Igarashi and
                  Naoki Kobayashi},
  editor       = {Peter M{\"{u}}ller},
  title        = {ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for
                  Imperative Programs},
  booktitle    = {Programming Languages and Systems - 29th European Symposium on Programming,
                  {ESOP} 2020, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12075},
  pages        = {684--714},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-44914-8\_25},
  doi          = {10.1007/978-3-030-44914-8\_25},
  timestamp    = {Fri, 14 May 2021 08:34:21 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/TomanSSI020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-07770,
  author       = {John Toman and
                  Ren Siqi and
                  Kohei Suenaga and
                  Atsushi Igarashi and
                  Naoki Kobayashi},
  title        = {ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for
                  Imperative Programs},
  journal      = {CoRR},
  volume       = {abs/2002.07770},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.07770},
  eprinttype    = {arXiv},
  eprint       = {2002.07770},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-07770.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-08138,
  author       = {Taro Sekiyama and
                  Takeshi Tsukada and
                  Atsushi Igarashi},
  title        = {Signature restriction for polymorphic algebraic effects},
  journal      = {CoRR},
  volume       = {abs/2003.08138},
  year         = {2020},
  url          = {https://arxiv.org/abs/2003.08138},
  eprinttype    = {arXiv},
  eprint       = {2003.08138},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-08138.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-14084,
  author       = {Yuki Nishida and
                  Atsushi Igarashi},
  title        = {Compilation of Coordinated Choice},
  journal      = {CoRR},
  volume       = {abs/2004.14084},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.14084},
  eprinttype    = {arXiv},
  eprint       = {2004.14084},
  timestamp    = {Sat, 02 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-14084.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/IgarashiTTVW19,
  author       = {Atsushi Igarashi and
                  Peter Thiemann and
                  Yuya Tsuda and
                  Vasco T. Vasconcelos and
                  Philip Wadler},
  title        = {Gradual session types},
  journal      = {J. Funct. Program.},
  volume       = {29},
  pages        = {e17},
  year         = {2019},
  url          = {https://doi.org/10.1017/S0956796819000169},
  doi          = {10.1017/S0956796819000169},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/IgarashiTTVW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MiyazakiSI19,
  author       = {Yusuke Miyazaki and
                  Taro Sekiyama and
                  Atsushi Igarashi},
  title        = {Dynamic type inference for gradual Hindley-Milner typing},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{POPL}},
  pages        = {18:1--18:29},
  year         = {2019},
  url          = {https://doi.org/10.1145/3290331},
  doi          = {10.1145/3290331},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MiyazakiSI19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/InoueI19,
  author       = {Hiroaki Inoue and
                  Atsushi Igarashi},
  title        = {A type system for first-class layers with inheritance, subtyping,
                  and swapping},
  journal      = {Sci. Comput. Program.},
  volume       = {179},
  pages        = {54--86},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.scico.2019.03.008},
  doi          = {10.1016/J.SCICO.2019.03.008},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/InoueI19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/NishidaI19,
  author       = {Yuki Nishida and
                  Atsushi Igarashi},
  editor       = {Anthony Widjaja Lin},
  title        = {Manifest Contracts with Intersection Types},
  booktitle    = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
                  2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11893},
  pages        = {33--52},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-34175-6\_3},
  doi          = {10.1007/978-3-030-34175-6\_3},
  timestamp    = {Sat, 09 Apr 2022 12:39:28 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/NishidaI19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KawataI19,
  author       = {Akira Kawata and
                  Atsushi Igarashi},
  editor       = {Anthony Widjaja Lin},
  title        = {A Dependently Typed Multi-stage Calculus},
  booktitle    = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
                  2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11893},
  pages        = {53--72},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-34175-6\_4},
  doi          = {10.1007/978-3-030-34175-6\_4},
  timestamp    = {Tue, 26 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/KawataI19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SekiyamaI19,
  author       = {Taro Sekiyama and
                  Atsushi Igarashi},
  editor       = {Lu{\'{\i}}s Caires},
  title        = {Handling Polymorphic Algebraic Effects},
  booktitle    = {Programming Languages and Systems - 28th European Symposium on Programming,
                  {ESOP} 2019, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
                  6-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11423},
  pages        = {353--380},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-17184-1\_13},
  doi          = {10.1007/978-3-030-17184-1\_13},
  timestamp    = {Fri, 31 Jan 2020 21:32:28 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/SekiyamaI19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/0001NIU19,
  author       = {Naoki Kobayashi and
                  Takeshi Nishikawa and
                  Atsushi Igarashi and
                  Hiroshi Unno},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Temporal Verification of Programs via First-Order Fixpoint Logic},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {413--436},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_20},
  doi          = {10.1007/978-3-030-32304-2\_20},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/0001NIU19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2019,
  editor       = {Manuel V. Hermenegildo and
                  Atsushi Igarashi},
  title        = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
                  14-15, 2019},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3294032},
  doi          = {10.1145/3294032},
  isbn         = {978-1-4503-6226-9},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-01453,
  author       = {Hiroaki Inoue and
                  Atsushi Igarashi},
  title        = {A Type System for First-Class Layers with Inheritance, Subtyping,
                  and Swapping},
  journal      = {CoRR},
  volume       = {abs/1905.01453},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.01453},
  eprinttype    = {arXiv},
  eprint       = {1905.01453},
  timestamp    = {Mon, 27 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-01453.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-02035,
  author       = {Akira Kawata and
                  Atsushi Igarashi},
  title        = {A Dependently Typed Multi-Stage Calculus},
  journal      = {CoRR},
  volume       = {abs/1908.02035},
  year         = {2019},
  url          = {http://arxiv.org/abs/1908.02035},
  eprinttype    = {arXiv},
  eprint       = {1908.02035},
  timestamp    = {Fri, 30 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-02035.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-02414,
  author       = {Yuya Tsuda and
                  Atsushi Igarashi and
                  Tomoya Tabuchi},
  title        = {Space-Efficient Gradual Typing in Coercion-Passing Style},
  journal      = {CoRR},
  volume       = {abs/1908.02414},
  year         = {2019},
  url          = {http://arxiv.org/abs/1908.02414},
  eprinttype    = {arXiv},
  eprint       = {1908.02414},
  timestamp    = {Fri, 09 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-02414.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-03010,
  author       = {Yuki Nishida and
                  Atsushi Igarashi},
  title        = {Manifest Contracts with Intersection Types},
  journal      = {CoRR},
  volume       = {abs/1908.03010},
  year         = {2019},
  url          = {http://arxiv.org/abs/1908.03010},
  eprinttype    = {arXiv},
  eprint       = {1908.03010},
  timestamp    = {Sat, 11 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-03010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-08480,
  author       = {Taro Sekiyama and
                  Atsushi Igarashi},
  title        = {Gradual Typing for Extensibility by Rows},
  journal      = {CoRR},
  volume       = {abs/1910.08480},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.08480},
  eprinttype    = {arXiv},
  eprint       = {1910.08480},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-08480.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/InoueAI18,
  author       = {Hiroaki Inoue and
                  Tomoyuki Aotani and
                  Atsushi Igarashi},
  title        = {ContextWorkflow: {A} Monadic {DSL} for Compensable and Interruptible
                  Executions (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {3},
  pages        = {04:1--04:2},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.3.4},
  doi          = {10.4230/DARTS.4.3.4},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/InoueAI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KojimaII18,
  author       = {Kensuke Kojima and
                  Akifumi Imanishi and
                  Atsushi Igarashi},
  title        = {Automated Verification of Functional Correctness of Race-Free {GPU}
                  Programs},
  journal      = {J. Autom. Reason.},
  volume       = {60},
  number       = {3},
  pages        = {279--298},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10817-017-9428-2},
  doi          = {10.1007/S10817-017-9428-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KojimaII18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KaminaAMI18,
  author       = {Tetsuo Kamina and
                  Tomoyuki Aotani and
                  Hidehiko Masuhara and
                  Atsushi Igarashi},
  title        = {Method safety mechanism for asynchronous layer deactivation},
  journal      = {Sci. Comput. Program.},
  volume       = {156},
  pages        = {104--120},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2018.01.006},
  doi          = {10.1016/J.SCICO.2018.01.006},
  timestamp    = {Sat, 25 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KaminaAMI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/InoueAI18,
  author       = {Hiroaki Inoue and
                  Tomoyuki Aotani and
                  Atsushi Igarashi},
  editor       = {Todd D. Millstein},
  title        = {ContextWorkflow: {A} Monadic {DSL} for Compensable and Interruptible
                  Executions},
  booktitle    = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
                  July 16-21, 2018, Amsterdam, The Netherlands},
  series       = {LIPIcs},
  volume       = {109},
  pages        = {2:1--2:33},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2018.2},
  doi          = {10.4230/LIPICS.ECOOP.2018.2},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/InoueAI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ImanishiSI18,
  author       = {Akifumi Imanishi and
                  Kohei Suenaga and
                  Atsushi Igarashi},
  editor       = {Fritz Henglein and
                  Hsiang{-}Shang Ko},
  title        = {A guess-and-assume approach to loop fusion for program verification},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018},
  pages        = {2--14},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3162070},
  doi          = {10.1145/3162070},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/ImanishiSI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/NishidaI18,
  author       = {Yuki Nishida and
                  Atsushi Igarashi},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Nondeterministic Manifest Contracts},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {16:1--16:13},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236964},
  doi          = {10.1145/3236950.3236964},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/NishidaI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-07041,
  author       = {Taro Sekiyama and
                  Atsushi Igarashi},
  title        = {Reasoning about Polymorphic Manifest Contracts},
  journal      = {CoRR},
  volume       = {abs/1806.07041},
  year         = {2018},
  url          = {http://arxiv.org/abs/1806.07041},
  eprinttype    = {arXiv},
  eprint       = {1806.07041},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-07041.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-05649,
  author       = {Atsushi Igarashi and
                  Peter Thiemann and
                  Yuya Tsuda and
                  Vasco T. Vasconcelos and
                  Philip Wadler},
  title        = {Gradual Session Types},
  journal      = {CoRR},
  volume       = {abs/1809.05649},
  year         = {2018},
  url          = {http://arxiv.org/abs/1809.05649},
  eprinttype    = {arXiv},
  eprint       = {1809.05649},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-05649.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-12619,
  author       = {Yusuke Miyazaki and
                  Taro Sekiyama and
                  Atsushi Igarashi},
  title        = {Dynamic Type Inference for Gradual Hindley-Milner Typing},
  journal      = {CoRR},
  volume       = {abs/1810.12619},
  year         = {2018},
  url          = {http://arxiv.org/abs/1810.12619},
  eprinttype    = {arXiv},
  eprint       = {1810.12619},
  timestamp    = {Mon, 25 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-12619.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-07332,
  author       = {Taro Sekiyama and
                  Atsushi Igarashi},
  title        = {Handling polymorphic algebraic effects},
  journal      = {CoRR},
  volume       = {abs/1811.07332},
  year         = {2018},
  url          = {http://arxiv.org/abs/1811.07332},
  eprinttype    = {arXiv},
  eprint       = {1811.07332},
  timestamp    = {Sun, 25 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-07332.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/IgarashiTVW17,
  author       = {Atsushi Igarashi and
                  Peter Thiemann and
                  Vasco T. Vasconcelos and
                  Philip Wadler},
  title        = {Gradual session types},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {1},
  number       = {{ICFP}},
  pages        = {38:1--38:28},
  year         = {2017},
  url          = {https://doi.org/10.1145/3110282},
  doi          = {10.1145/3110282},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/IgarashiTVW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/IgarashiSI17,
  author       = {Yuu Igarashi and
                  Taro Sekiyama and
                  Atsushi Igarashi},
  title        = {On polymorphic gradual typing},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {1},
  number       = {{ICFP}},
  pages        = {40:1--40:29},
  year         = {2017},
  url          = {https://doi.org/10.1145/3110284},
  doi          = {10.1145/3110284},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/IgarashiSI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KojimaI17,
  author       = {Kensuke Kojima and
                  Atsushi Igarashi},
  title        = {A Hoare Logic for {GPU} Kernels},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {18},
  number       = {1},
  pages        = {3:1--3:43},
  year         = {2017},
  url          = {https://doi.org/10.1145/3001834},
  doi          = {10.1145/3001834},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/KojimaI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SekiyamaIG17,
  author       = {Taro Sekiyama and
                  Atsushi Igarashi and
                  Michael Greenberg},
  title        = {Polymorphic Manifest Contracts, Revised and Resolved},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {39},
  number       = {1},
  pages        = {3:1--3:36},
  year         = {2017},
  url          = {https://doi.org/10.1145/2994594},
  doi          = {10.1145/2994594},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/SekiyamaIG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/NakamuraKSI17,
  author       = {Hirofumi Nakamura and
                  Kensuke Kojima and
                  Kohei Suenaga and
                  Atsushi Igarashi},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {A Nonstandard Functional Programming Language},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {514--533},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_25},
  doi          = {10.1007/978-3-319-71237-6\_25},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/NakamuraKSI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/InoueAI17,
  author       = {Hiroaki Inoue and
                  Tomoyuki Aotani and
                  Atsushi Igarashi},
  editor       = {Guido Salvaneschi and
                  Wolfgang De Meuter and
                  Patrick Eugster and
                  Lukasz Ziarek},
  title        = {A {DSL} for compensable and interruptible executions},
  booktitle    = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Reactive
                  and Event-Based Languages and Systems, Vancouver, BC, Canada, October
                  23, 2017},
  pages        = {8--14},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3141858.3141860},
  doi          = {10.1145/3141858.3141860},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/InoueAI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SuwaT0I17,
  author       = {Takashi Suwa and
                  Takeshi Tsukada and
                  Naoki Kobayashi and
                  Atsushi Igarashi},
  editor       = {Ulrik Pagh Schultz and
                  Jeremy Yallop},
  title        = {Verification of code generators via higher-order model checking},
  booktitle    = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
                  2017},
  pages        = {59--70},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3018882.3018886},
  doi          = {10.1145/3018882.3018886},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/SuwaT0I17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SekiyamaI17,
  author       = {Taro Sekiyama and
                  Atsushi Igarashi},
  editor       = {Giuseppe Castagna and
                  Andrew D. Gordon},
  title        = {Stateful manifest contracts},
  booktitle    = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
                  Programming Languages, {POPL} 2017, Paris, France, January 18-20,
                  2017},
  pages        = {530--544},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3009837.3009875},
  doi          = {10.1145/3009837.3009875},
  timestamp    = {Mon, 05 Feb 2024 20:33:37 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/SekiyamaI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/InoueI16,
  author       = {Hiroaki Inoue and
                  Atsushi Igarashi},
  editor       = {Lidia Fuentes and
                  Don S. Batory and
                  Krzysztof Czarnecki},
  title        = {A library-based approach to context-dependent computation with reactive
                  values: suppressing reactions of context-dependent functions using
                  dynamic binding},
  booktitle    = {Companion Proceedings of the 15th International Conference on Modularity,
                  M{\'{a}}laga, Spain, March 14 - 18, 2016},
  pages        = {50--54},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2892664.2892669},
  doi          = {10.1145/2892664.2892669},
  timestamp    = {Fri, 30 Dec 2022 23:08:53 +0100},
  biburl       = {https://dblp.org/rec/conf/aosd/InoueI16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/KojimaII16,
  author       = {Kensuke Kojima and
                  Akifumi Imanishi and
                  Atsushi Igarashi},
  editor       = {Sandrine Blazy and
                  Marsha Chechik},
  title        = {Automated Verification of Functional Correctness of Race-Free {GPU}
                  Programs},
  booktitle    = {Verified Software. Theories, Tools, and Experiments - 8th International
                  Conference, {VSTTE} 2016, Toronto, ON, Canada, July 17-18, 2016, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9971},
  pages        = {90--106},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48869-1\_7},
  doi          = {10.1007/978-3-319-48869-1\_7},
  timestamp    = {Wed, 25 Sep 2019 18:03:08 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/KojimaII16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2016,
  editor       = {Atsushi Igarashi},
  title        = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
                  2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10017},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47958-3},
  doi          = {10.1007/978-3-319-47958-3},
  isbn         = {978-3-319-47957-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SekiyamaUI15,
  author       = {Taro Sekiyama and
                  Soichiro Ueda and
                  Atsushi Igarashi},
  editor       = {Xinyu Feng and
                  Sungwoo Park},
  title        = {Shifting the Blame - {A} Blame Calculus with Delimited Control},
  booktitle    = {Programming Languages and Systems - 13th Asian Symposium, {APLAS}
                  2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9458},
  pages        = {189--207},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26529-2\_11},
  doi          = {10.1007/978-3-319-26529-2\_11},
  timestamp    = {Fri, 04 Mar 2022 17:17:35 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/SekiyamaUI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/InoueI15,
  author       = {Hiroaki Inoue and
                  Atsushi Igarashi},
  editor       = {Xinyu Feng and
                  Sungwoo Park},
  title        = {A Sound Type System for Layer Subtyping and Dynamically Activated
                  First-Class Layers},
  booktitle    = {Programming Languages and Systems - 13th Asian Symposium, {APLAS}
                  2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9458},
  pages        = {445--462},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26529-2\_24},
  doi          = {10.1007/978-3-319-26529-2\_24},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/InoueI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KaminaAMI15,
  author       = {Tetsuo Kamina and
                  Tomoyuki Aotani and
                  Hidehiko Masuhara and
                  Atsushi Igarashi},
  title        = {Method Safety Mechanism for Asynchronous Layer Deactivation},
  booktitle    = {Proceedings of the 7th International Workshop on Context-Oriented
                  Programming, {COP} 2015, Prague, Czech Republic, July 4-10, 2015},
  pages        = {6:1--6:6},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2786545.2786550},
  doi          = {10.1145/2786545.2786550},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/KaminaAMI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SekiyamaNI15,
  author       = {Taro Sekiyama and
                  Yuki Nishida and
                  Atsushi Igarashi},
  editor       = {Sriram K. Rajamani and
                  David Walker},
  title        = {Manifest Contracts for Datatypes},
  booktitle    = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
                  Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
                  15-17, 2015},
  pages        = {195--207},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2676726.2676996},
  doi          = {10.1145/2676726.2676996},
  timestamp    = {Sat, 30 Sep 2023 09:54:52 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/SekiyamaNI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/IgarashiMT15,
  author       = {Atsushi Igarashi and
                  Andrzej S. Murawski and
                  Nikos Tzevelekos},
  title        = {Semantics and Verification of Object-Oriented Languages {(NII} Shonan
                  Meeting 2015-13)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/063/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/IgarashiMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SonobeSI14,
  author       = {Tatsuya Sonobe and
                  Kohei Suenaga and
                  Atsushi Igarashi},
  editor       = {Jacques Garrigue},
  title        = {Automatic Memory Management Based on Program Transformation Using
                  Ownership},
  booktitle    = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
                  2014, Singapore, November 17-19, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8858},
  pages        = {58--77},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12736-1\_4},
  doi          = {10.1007/978-3-319-12736-1\_4},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/SonobeSI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KaminaAI14,
  author       = {Tetsuo Kamina and
                  Tomoyuki Aotani and
                  Atsushi Igarashi},
  title        = {On-Demand Layer Activation for Type-Safe Deactivation},
  booktitle    = {Proceedings of 6th International Workshop on Context-Oriented Programming,
                  COP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014},
  pages        = {4:1--4:7},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2637066.2637070},
  doi          = {10.1145/2637066.2637070},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/KaminaAI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/InoueIAH14,
  author       = {Hiroaki Inoue and
                  Atsushi Igarashi and
                  Malte Appeltauer and
                  Robert Hirschfeld},
  title        = {Towards Type-Safe JCop: {A} type system for layer inheritance and
                  first-class layers},
  booktitle    = {Proceedings of 6th International Workshop on Context-Oriented Programming,
                  COP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014},
  pages        = {7:1--7:6},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2637066.2637073},
  doi          = {10.1145/2637066.2637073},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/InoueIAH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HanadaI14,
  author       = {Yuichiro Hanada and
                  Atsushi Igarashi},
  editor       = {Michael Codish and
                  Eijiro Sumii},
  title        = {On Cross-Stage Persistence in Multi-Stage Programming},
  booktitle    = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
                  2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8475},
  pages        = {103--118},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07151-0\_7},
  doi          = {10.1007/978-3-319-07151-0\_7},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/HanadaI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2014yonezawa,
  editor       = {Gul A. Agha and
                  Atsushi Igarashi and
                  Naoki Kobayashi and
                  Hidehiko Masuhara and
                  Satoshi Matsuoka and
                  Etsuya Shibayama and
                  Kenjiro Taura},
  title        = {Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8665},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44471-9},
  doi          = {10.1007/978-3-662-44471-9},
  isbn         = {978-3-662-44470-2},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2014yonezawa.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/IgarashiTW14,
  author       = {Atsushi Igarashi and
                  Peter Thiemann and
                  Philip Wadler},
  title        = {Software Contracts for Communication, Monitoring, and Security {(NII}
                  Shonan Meeting 2014-6)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2014},
  year         = {2014},
  url          = {https://shonan.nii.ac.jp/seminars/050/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/IgarashiTW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SaitoI13,
  author       = {Chieri Saito and
                  Atsushi Igarashi},
  title        = {Matching MyType to subtyping},
  journal      = {Sci. Comput. Program.},
  volume       = {78},
  number       = {7},
  pages        = {933--952},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.scico.2012.12.010},
  doi          = {10.1016/J.SCICO.2012.12.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SaitoI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KojimaI13,
  author       = {Kensuke Kojima and
                  Atsushi Igarashi},
  editor       = {Chung{-}chieh Shan},
  title        = {A Hoare Logic for {SIMT} Programs},
  booktitle    = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
                  2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8301},
  pages        = {58--73},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-03542-0\_5},
  doi          = {10.1007/978-3-319-03542-0\_5},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/KojimaI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HirschfeldMI13,
  author       = {Robert Hirschfeld and
                  Hidehiko Masuhara and
                  Atsushi Igarashi},
  title        = {{L:} context-oriented programming with only layers},
  booktitle    = {Proceedings of the 5th International Workshop on Context-Oriented
                  Programming, {COP} 2013, Montpellier, France, July 2, 2013},
  pages        = {4:1--4:5},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2489793.2489797},
  doi          = {10.1145/2489793.2489797},
  timestamp    = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/HirschfeldMI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KobayashiI13,
  author       = {Naoki Kobayashi and
                  Atsushi Igarashi},
  editor       = {Matthias Felleisen and
                  Philippa Gardner},
  title        = {Model-Checking Higher-Order Programs with Recursive Types},
  booktitle    = {Programming Languages and Systems - 22nd European Symposium on Programming,
                  {ESOP} 2013, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
                  2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7792},
  pages        = {431--450},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-37036-6\_24},
  doi          = {10.1007/978-3-642-37036-6\_24},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/KobayashiI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SuenagaFI12,
  author       = {Kohei Suenaga and
                  Ryota Fukuda and
                  Atsushi Igarashi},
  editor       = {Gary T. Leavens and
                  Matthew B. Dwyer},
  title        = {Type-based safe resource deallocation for shared-memory concurrency},
  booktitle    = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
                  part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
  pages        = {1--20},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2384616.2384618},
  doi          = {10.1145/2384616.2384618},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/SuenagaFI12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2012,
  editor       = {Ranjit Jhala and
                  Atsushi Igarashi},
  title        = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
                  2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7705},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35182-2},
  doi          = {10.1007/978-3-642-35182-2},
  isbn         = {978-3-642-35181-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KojimaI11,
  author       = {Kensuke Kojima and
                  Atsushi Igarashi},
  title        = {Constructive linear-time temporal logic: Proof systems and Kripke
                  semantics},
  journal      = {Inf. Comput.},
  volume       = {209},
  number       = {12},
  pages        = {1491--1503},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.ic.2010.09.008},
  doi          = {10.1016/J.IC.2010.09.008},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KojimaI11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Igarashi11,
  author       = {Atsushi Igarashi},
  editor       = {Mira Mezini},
  title        = {A Featherweight Approach to {FOOL}},
  booktitle    = {{ECOOP} 2011 - Object-Oriented Programming - 25th European Conference,
                  Lancaster, UK, July 25-29, 2011 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6813},
  pages        = {433},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22655-7\_20},
  doi          = {10.1007/978-3-642-22655-7\_20},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Igarashi11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BeloGIP11,
  author       = {Jo{\~{a}}o Filipe Belo and
                  Michael Greenberg and
                  Atsushi Igarashi and
                  Benjamin C. Pierce},
  editor       = {Gilles Barthe},
  title        = {Polymorphic Contracts},
  booktitle    = {Programming Languages and Systems - 20th European Symposium on Programming,
                  {ESOP} 2011, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany,
                  March 26-April 3, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6602},
  pages        = {18--37},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19718-5\_2},
  doi          = {10.1007/978-3-642-19718-5\_2},
  timestamp    = {Sat, 19 Oct 2019 20:28:04 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BeloGIP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foal/HirschfeldIM11,
  author       = {Robert Hirschfeld and
                  Atsushi Igarashi and
                  Hidehiko Masuhara},
  editor       = {Hridesh Rajan},
  title        = {ContextFJ: a minimal core calculus for context-oriented programming},
  booktitle    = {Proceedings of the 10th international workshop on Foundations of aspect-oriented
                  languages, {FOAL} 2011, Porto de Galinhas, Brazil, March 21-25, 2011},
  pages        = {19--23},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1960510.1960515},
  doi          = {10.1145/1960510.1960515},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/foal/HirschfeldIM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/InaI11,
  author       = {Lintaro Ina and
                  Atsushi Igarashi},
  editor       = {Cristina Videira Lopes and
                  Kathleen Fisher},
  title        = {Gradual typing for generics},
  booktitle    = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
                  part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
  pages        = {609--624},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2048066.2048114},
  doi          = {10.1145/2048066.2048114},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/InaI11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-3806,
  author       = {Takeshi Tsukada and
                  Atsushi Igarashi},
  title        = {A Logical Foundation for Environment Classifiers},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {6},
  number       = {4},
  year         = {2010},
  url          = {https://doi.org/10.2168/LMCS-6(4:8)2010},
  doi          = {10.2168/LMCS-6(4:8)2010},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-3806.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/MasuharaIT10,
  author       = {Hidehiko Masuhara and
                  Atsushi Igarashi and
                  Manabu Toyama},
  editor       = {Jean{-}Marc J{\'{e}}z{\'{e}}quel and
                  Mario S{\"{u}}dholt},
  title        = {Type relaxed weaving},
  booktitle    = {Proceedings of the 9th International Conference on Aspect-Oriented
                  Software Development, {AOSD} 2010, Rennes and Saint-Malo, France,
                  March 15-19, 2010},
  pages        = {121--132},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1739230.1739245},
  doi          = {10.1145/1739230.1739245},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aosd/MasuharaIT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ChibaIZ10,
  author       = {Shigeru Chiba and
                  Atsushi Igarashi and
                  Salikh Zakirov},
  editor       = {William R. Cook and
                  Siobh{\'{a}}n Clarke and
                  Martin C. Rinard},
  title        = {Mostly modular compilation of crosscutting concerns by contextual
                  predicate dispatch},
  booktitle    = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
                  October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
  pages        = {539--554},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1869459.1869503},
  doi          = {10.1145/1869459.1869503},
  timestamp    = {Tue, 22 Jun 2021 17:10:56 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/ChibaIZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/InaI09,
  author       = {Lintaro Ina and
                  Atsushi Igarashi},
  editor       = {Tobias Wrigstad and
                  Nate Nystrom and
                  Jan Vitek},
  title        = {Towards gradual typing for generics},
  booktitle    = {Proceedings for the 1st workshop on Script to Program Evolution, {STOP}
                  '09, Genova, Italy, July 6, 2009},
  pages        = {17--29},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1570506.1570509},
  doi          = {10.1145/1570506.1570509},
  timestamp    = {Tue, 25 Jan 2022 15:46:31 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/InaI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SaitoI09,
  author       = {Chieri Saito and
                  Atsushi Igarashi},
  editor       = {Shail Arora and
                  Gary T. Leavens},
  title        = {Self type constructors},
  booktitle    = {Proceedings of the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
                  October 25-29, 2009, Orlando, Florida, {USA}},
  pages        = {263--282},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1640089.1640109},
  doi          = {10.1145/1640089.1640109},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/SaitoI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SaitoI09,
  author       = {Chieri Saito and
                  Atsushi Igarashi},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski},
  title        = {Matching \emph{ThisType} to subtyping},
  booktitle    = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
                  Honolulu, Hawaii, USA, March 9-12, 2009},
  pages        = {1851--1858},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1529282.1529699},
  doi          = {10.1145/1529282.1529699},
  timestamp    = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/SaitoI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/TsukadaI09,
  author       = {Takeshi Tsukada and
                  Atsushi Igarashi},
  editor       = {Pierre{-}Louis Curien},
  title        = {A Logical Foundation for Environment Classifiers},
  booktitle    = {Typed Lambda Calculi and Applications, 9th International Conference,
                  {TLCA} 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5608},
  pages        = {341--355},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02273-9\_25},
  doi          = {10.1007/978-3-642-02273-9\_25},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/TsukadaI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/SatoSKI08,
  author       = {Masahiko Sato and
                  Takafumi Sakurai and
                  Yukiyoshi Kameyama and
                  Atsushi Igarashi},
  title        = {Calculi of meta-variables},
  journal      = {Frontiers Comput. Sci. China},
  volume       = {2},
  number       = {1},
  pages        = {12--21},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11704-008-0011-1},
  doi          = {10.1007/S11704-008-0011-1},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fcsc/SatoSKI08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SaitoIV08,
  author       = {Chieri Saito and
                  Atsushi Igarashi and
                  Mirko Viroli},
  title        = {Lightweight family polymorphism},
  journal      = {J. Funct. Program.},
  volume       = {18},
  number       = {3},
  pages        = {285--331},
  year         = {2008},
  url          = {https://doi.org/10.1017/S0956796807006405},
  doi          = {10.1017/S0956796807006405},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/SaitoIV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/SaitoI08,
  author       = {Chieri Saito and
                  Atsushi Igarashi},
  title        = {The Essence of Lightweight Family Polymorphism},
  journal      = {J. Object Technol.},
  volume       = {7},
  number       = {5},
  pages        = {67--99},
  year         = {2008},
  url          = {https://doi.org/10.5381/jot.2008.7.5.a3},
  doi          = {10.5381/JOT.2008.7.5.A3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jot/SaitoI08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ShikumaI08,
  author       = {Naokata Shikuma and
                  Atsushi Igarashi},
  title        = {Proving Noninterference by a Fully Complete Translation to the Simply
                  Typed Lambda-Calculus},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {4},
  number       = {3},
  year         = {2008},
  url          = {https://doi.org/10.2168/LMCS-4(3:10)2008},
  doi          = {10.2168/LMCS-4(3:10)2008},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/ShikumaI08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/AlbertBDHILMW08,
  author       = {Elvira Albert and
                  Anindya Banerjee and
                  Sophia Drossopoulou and
                  Marieke Huisman and
                  Atsushi Igarashi and
                  Gary T. Leavens and
                  Peter M{\"{u}}ller and
                  Tobias Wrigstad},
  editor       = {Patrick Eugster},
  title        = {Formal Techniques for Java-Like Programs},
  booktitle    = {Object-Oriented Technology. {ECOOP} 2008 Workshop Reader, {ECOOP}
                  2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports},
  series       = {Lecture Notes in Computer Science},
  volume       = {5475},
  pages        = {70--76},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-02047-6\_8},
  doi          = {10.1007/978-3-642-02047-6\_8},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/AlbertBDHILMW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-3307,
  author       = {Naokata Shikuma and
                  Atsushi Igarashi},
  title        = {Proving Noninterference by a Fully Complete Translation to the Simply
                  Typed lambda-calculus},
  journal      = {CoRR},
  volume       = {abs/0808.3307},
  year         = {2008},
  url          = {http://arxiv.org/abs/0808.3307},
  eprinttype    = {arXiv},
  eprint       = {0808.3307},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0808-3307.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/IgarashiN07,
  author       = {Atsushi Igarashi and
                  Hideshi Nagira},
  title        = {Union Types for Object-Oriented Programming},
  journal      = {J. Object Technol.},
  volume       = {6},
  number       = {2},
  pages        = {47--68},
  year         = {2007},
  url          = {https://doi.org/10.5381/jot.2007.6.2.a3},
  doi          = {10.5381/JOT.2007.6.2.A3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jot/IgarashiN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/IgarashiI07,
  author       = {Atsushi Igarashi and
                  Masashi Iwaki},
  editor       = {Zhong Shao},
  title        = {Deriving Compilers and Virtual Machines for a Multi-level Language},
  booktitle    = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
                  Singapore, November 29-December 1, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4807},
  pages        = {206--221},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76637-7\_14},
  doi          = {10.1007/978-3-540-76637-7\_14},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/IgarashiI07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/IgarashiV07,
  author       = {Atsushi Igarashi and
                  Mirko Viroli},
  editor       = {Richard P. Gabriel and
                  David F. Bacon and
                  Cristina Videira Lopes and
                  Guy L. Steele Jr.},
  title        = {Variant path types for scalable extensibility},
  booktitle    = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
                  October 21-25, 2007, Montreal, Quebec, Canada},
  pages        = {113--132},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1297027.1297037},
  doi          = {10.1145/1297027.1297037},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/IgarashiV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/IgarashiV06,
  author       = {Atsushi Igarashi and
                  Mirko Viroli},
  title        = {Variant parametric types: {A} flexible subtyping scheme for generics},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {28},
  number       = {5},
  pages        = {795--847},
  year         = {2006},
  url          = {https://doi.org/10.1145/1152649.1152650},
  doi          = {10.1145/1152649.1152650},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/IgarashiV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ShikumaI06,
  author       = {Naokata Shikuma and
                  Atsushi Igarashi},
  editor       = {Mitsu Okada and
                  Ichiro Satoh},
  title        = {Proving Noninterference by a Fully Complete Translation to the Simply
                  Typed lambda-Calculus},
  booktitle    = {Advances in Computer Science - {ASIAN} 2006. Secure Software and Related
                  Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December
                  6-8, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4435},
  pages        = {301--315},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77505-8\_24},
  doi          = {10.1007/978-3-540-77505-8\_24},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/ShikumaI06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/AnconaDILPZ06,
  author       = {Davide Ancona and
                  Sophia Drossopoulou and
                  Atsushi Igarashi and
                  Gary T. Leavens and
                  Arnd Poetzsch{-}Heffter and
                  Elena Zucca},
  editor       = {Mario S{\"{u}}dholt and
                  Charles Consel},
  title        = {Formal Techniques for Java-Like Programs},
  booktitle    = {Object-Oriented Technology, {ECOOP} 2006 Workshop Reader, {ECOOP}
                  2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports},
  series       = {Lecture Notes in Computer Science},
  volume       = {4379},
  pages        = {53--58},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-71774-4\_6},
  doi          = {10.1007/978-3-540-71774-4\_6},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/AnconaDILPZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/IwamaIK06,
  author       = {Futoshi Iwama and
                  Atsushi Igarashi and
                  Naoki Kobayashi},
  editor       = {John Hatcliff and
                  Frank Tip},
  title        = {Resource usage analysis for a functional language with exceptions},
  booktitle    = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2006, Charleston, South
                  Carolina, USA, January 9-10, 2006},
  pages        = {38--47},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1111542.1111550},
  doi          = {10.1145/1111542.1111550},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/IwamaIK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/YuseI06,
  author       = {Yosihiro Yuse and
                  Atsushi Igarashi},
  editor       = {Annalisa Bossi and
                  Michael J. Maher},
  title        = {A modal type system for multi-level generating extensions with persistent
                  code},
  booktitle    = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 10-12, 2006,
                  Venice, Italy},
  pages        = {201--212},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1140335.1140360},
  doi          = {10.1145/1140335.1140360},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/YuseI06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/IgarashiN06,
  author       = {Atsushi Igarashi and
                  Hideshi Nagira},
  editor       = {Hisham Haddad},
  title        = {Union types for object-oriented programming},
  booktitle    = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
                  Dijon, France, April 23-27, 2006},
  pages        = {1435--1441},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1141277.1141610},
  doi          = {10.1145/1141277.1141610},
  timestamp    = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/IgarashiN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/IgarashiK05,
  author       = {Atsushi Igarashi and
                  Naoki Kobayashi},
  title        = {Resource usage analysis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {27},
  number       = {2},
  pages        = {264--313},
  year         = {2005},
  url          = {https://doi.org/10.1145/1057387.1057390},
  doi          = {10.1145/1057387.1057390},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/IgarashiK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/IgarashiSV05,
  author       = {Atsushi Igarashi and
                  Chieri Saito and
                  Mirko Viroli},
  editor       = {Kwangkeun Yi},
  title        = {Lightweight Family Polymorphism},
  booktitle    = {Programming Languages and Systems, Third Asian Symposium, {APLAS}
                  2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3780},
  pages        = {161--177},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11575467\_12},
  doi          = {10.1007/11575467\_12},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/IgarashiSV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IgarashiK04,
  author       = {Atsushi Igarashi and
                  Naoki Kobayashi},
  title        = {A generic type system for the Pi-calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {311},
  number       = {1-3},
  pages        = {121--163},
  year         = {2004},
  url          = {https://doi.org/10.1016/S0304-3975(03)00325-6},
  doi          = {10.1016/S0304-3975(03)00325-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/IgarashiK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SatoSKI03,
  author       = {Masahiko Sato and
                  Takafumi Sakurai and
                  Yukiyoshi Kameyama and
                  Atsushi Igarashi},
  editor       = {Matthias Baaz and
                  Johann A. Makowsky},
  title        = {Calculi of Meta-variables},
  booktitle    = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th
                  Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium,
                  {KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2803},
  pages        = {484--497},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45220-1\_39},
  doi          = {10.1007/978-3-540-45220-1\_39},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/SatoSKI03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/IgarashiP02,
  author       = {Atsushi Igarashi and
                  Benjamin C. Pierce},
  title        = {Foundations for Virtual Types},
  journal      = {Inf. Comput.},
  volume       = {175},
  number       = {1},
  pages        = {34--49},
  year         = {2002},
  url          = {https://doi.org/10.1006/inco.2001.2942},
  doi          = {10.1006/INCO.2001.2942},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/IgarashiP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/IgarashiP02a,
  author       = {Atsushi Igarashi and
                  Benjamin C. Pierce},
  title        = {On Inner Classes},
  journal      = {Inf. Comput.},
  volume       = {177},
  number       = {1},
  pages        = {56--89},
  year         = {2002},
  url          = {https://doi.org/10.1006/inco.2002.3092},
  doi          = {10.1006/INCO.2002.3092},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/IgarashiP02a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/IgarashiV02,
  author       = {Atsushi Igarashi and
                  Mirko Viroli},
  editor       = {Boris Magnusson},
  title        = {On Variance-Based Subtyping for Parametric Types},
  booktitle    = {{ECOOP} 2002 - Object-Oriented Programming, 16th European Conference,
                  Malaga, Spain, June 10-14, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2374},
  pages        = {441--469},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-47993-7\_19},
  doi          = {10.1007/3-540-47993-7\_19},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/IgarashiV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/IgarashiK02,
  author       = {Atsushi Igarashi and
                  Naoki Kobayashi},
  editor       = {John Launchbury and
                  John C. Mitchell},
  title        = {Resource usage analysis},
  booktitle    = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, Portland, OR, USA, January
                  16-18, 2002},
  pages        = {331--342},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/503272.503303},
  doi          = {10.1145/503272.503303},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/IgarashiK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/IgarashiPW01,
  author       = {Atsushi Igarashi and
                  Benjamin C. Pierce and
                  Philip Wadler},
  title        = {Featherweight Java: a minimal core calculus for Java and {GJ}},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {23},
  number       = {3},
  pages        = {396--450},
  year         = {2001},
  url          = {https://doi.org/10.1145/503502.503505},
  doi          = {10.1145/503502.503505},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/IgarashiPW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/IgarashiK01,
  author       = {Atsushi Igarashi and
                  Naoki Kobayashi},
  title        = {Resource Usage Analysis},
  booktitle    = {The Second Asian Workshop on Programming Languages and Systems, APLAS'01,
                  Korea Advanced Institute of Science and Technology, Daejeon, Korea,
                  December 17-18, 2001, Proceedings},
  pages        = {147--158},
  year         = {2001},
  timestamp    = {Fri, 19 Jul 2013 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/IgarashiK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/IgarashiK01,
  author       = {Atsushi Igarashi and
                  Naoki Kobayashi},
  editor       = {Chris Hankin and
                  Dave Schmidt},
  title        = {A generic type system for the Pi-calculus},
  booktitle    = {Conference Record of {POPL} 2001: The 28th {ACM} {SIGPLAN-SIGACT}
                  Symposium on Principles of Programming Languages, London, UK, January
                  17-19, 2001},
  pages        = {128--141},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/360204.360215},
  doi          = {10.1145/360204.360215},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/IgarashiK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/IgarashiK00,
  author       = {Atsushi Igarashi and
                  Naoki Kobayashi},
  title        = {Type Reconstruction for Linear -Calculus with {I/O} Subtyping},
  journal      = {Inf. Comput.},
  volume       = {161},
  number       = {1},
  pages        = {1--44},
  year         = {2000},
  url          = {https://doi.org/10.1006/inco.2000.2872},
  doi          = {10.1006/INCO.2000.2872},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/IgarashiK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/IgarashiP00,
  author       = {Atsushi Igarashi and
                  Benjamin C. Pierce},
  editor       = {Elisa Bertino},
  title        = {On Inner Classes},
  booktitle    = {{ECOOP} 2000 - Object-Oriented Programming, 14th European Conference,
                  Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1850},
  pages        = {129--153},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45102-1\_7},
  doi          = {10.1007/3-540-45102-1\_7},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/IgarashiP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/IgarashiP99,
  author       = {Atsushi Igarashi and
                  Benjamin C. Pierce},
  editor       = {Rachid Guerraoui},
  title        = {Foundations for Virtual Types},
  booktitle    = {ECOOP'99 - Object-Oriented Programming, 13th European Conference,
                  Lisbon, Portugal, June 14-18, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1628},
  pages        = {161--185},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48743-3\_8},
  doi          = {10.1007/3-540-48743-3\_8},
  timestamp    = {Wed, 07 Dec 2022 23:08:18 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/IgarashiP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/IgarashiPW99,
  author       = {Atsushi Igarashi and
                  Benjamin C. Pierce and
                  Philip Wadler},
  editor       = {Brent Hailpern and
                  Linda M. Northrop and
                  A. Michael Berman},
  title        = {Featherwieght Java: {A} Minimal Core Calculus for Java and {GJ}},
  booktitle    = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming Systems, Languages {\&} Applications, {OOPSLA} 1999,
                  Denver, Colorado, USA, November 1-5, 1999},
  pages        = {132--146},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/320384.320395},
  doi          = {10.1145/320384.320395},
  timestamp    = {Wed, 30 Mar 2022 13:58:42 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/IgarashiPW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/IgarashiK97,
  author       = {Atsushi Igarashi and
                  Naoki Kobayashi},
  editor       = {Pascal Van Hentenryck},
  title        = {Type-Based Analysis of Communication for Concurrent Programming Languages},
  booktitle    = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
                  September 8-10, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1302},
  pages        = {187--201},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0032742},
  doi          = {10.1007/BFB0032742},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/IgarashiK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics