Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Atsushi Igarashi
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.