BibTeX records: Kazutaka Matsuda

download as .bib file

@article{DBLP:journals/jfp/Matsuda018,
  author    = {Kazutaka Matsuda and
               Meng Wang},
  title     = {Applicative bidirectional programming: Mixing lenses and semantic
               bidirectionalization},
  journal   = {J. Funct. Program.},
  volume    = {28},
  pages     = {e15},
  year      = {2018},
  url       = {https://doi.org/10.1017/S0956796818000096},
  doi       = {10.1017/S0956796818000096},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/Matsuda018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HamanaMA18,
  author    = {Makoto Hamana and
               Kazutaka Matsuda and
               Kazuyuki Asada},
  title     = {The algebra of recursive graph transformation language UnCAL: complete
               axiomatisation and iteration categorical semantics},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {28},
  number    = {2},
  pages     = {287--337},
  year      = {2018},
  url       = {https://doi.org/10.1017/S096012951600027X},
  doi       = {10.1017/S096012951600027X},
  timestamp = {Tue, 30 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/HamanaMA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/MatsudaW18,
  author    = {Kazutaka Matsuda and
               Meng Wang},
  title     = {FliPpr: {A} System for Deriving Parsers from Pretty-Printers},
  journal   = {New Generation Comput.},
  volume    = {36},
  number    = {3},
  pages     = {173--202},
  year      = {2018},
  url       = {https://doi.org/10.1007/s00354-018-0033-7},
  doi       = {10.1007/s00354-018-0033-7},
  timestamp = {Tue, 04 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ngc/MatsudaW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Matsuda018,
  author    = {Kazutaka Matsuda and
               Meng Wang},
  title     = {HOBiT: Programming Lenses Without Using Lens Combinators},
  booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
               {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
               14-20, 2018, Proceedings},
  pages     = {31--59},
  year      = {2018},
  crossref  = {DBLP:conf/esop/2018},
  url       = {https://doi.org/10.1007/978-3-319-89884-1\_2},
  doi       = {10.1007/978-3-319-89884-1\_2},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esop/Matsuda018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/MatsudaW18,
  author    = {Kazutaka Matsuda and
               Meng Wang},
  title     = {Embedding invertible languages with binders: a case of the FliPpr
               language},
  booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Symposium on
               Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018},
  pages     = {158--171},
  year      = {2018},
  crossref  = {DBLP:conf/haskell/2018},
  url       = {https://doi.org/10.1145/3242744.3242758},
  doi       = {10.1145/3242744.3242758},
  timestamp = {Tue, 11 Dec 2018 19:29:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/MatsudaW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MatsudaA17,
  author    = {Kazutaka Matsuda and
               Kazuyuki Asada},
  title     = {A functional reformulation of UnCAL graph-transformations: or, graph
               transformation as graph reduction},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {71--82},
  year      = {2017},
  crossref  = {DBLP:conf/pepm/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3018883},
  timestamp = {Tue, 06 Nov 2018 16:57:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/MatsudaA17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ThomsenMM17,
  author    = {Michael Kirkedal Thomsen and
               Kazutaka Matsuda and
               Mohammad Reza Mousavi},
  title     = {Reverse Execution in Testing {\textendash} Improving Security and
               Reliability {(NII} Shonan Meeting 2017-9)},
  journal   = {{NII} Shonan Meet. Rep.},
  volume    = {2017},
  year      = {2017},
  url       = {http://shonan.nii.ac.jp/shonan/report/no-2017-9/},
  timestamp = {Thu, 22 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/shonan-reports/ThomsenMM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MatsudaW15,
  author    = {Kazutaka Matsuda and
               Meng Wang},
  title     = {"Bidirectionalization for free" for monomorphic transformations},
  journal   = {Sci. Comput. Program.},
  volume    = {111},
  pages     = {79--109},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2014.07.008},
  doi       = {10.1016/j.scico.2014.07.008},
  timestamp = {Sun, 17 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/MatsudaW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MatsudaW15,
  author    = {Kazutaka Matsuda and
               Meng Wang},
  title     = {Applicative bidirectional programming with lenses},
  booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
               1-3, 2015},
  pages     = {62--74},
  year      = {2015},
  crossref  = {DBLP:conf/icfp/2015},
  url       = {https://doi.org/10.1145/2784731.2784750},
  doi       = {10.1145/2784731.2784750},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/MatsudaW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/HidakaBTM15,
  author    = {Soichiro Hidaka and
               Martin Billes and
               Quang Minh Tran and
               Kazutaka Matsuda},
  title     = {Trace-based Approach to Editability and Correspondence Analysis for
               Bidirectional Graph Transformations},
  booktitle = {Proceedings of the 4th International Workshop on Bidirectional Transformations
               co-located with Software Technologies: Applications and Foundations,
               {STAF} 2015, L'Aquila, Italy, July 24, 2015.},
  pages     = {51--65},
  year      = {2015},
  crossref  = {DBLP:conf/staf/2015bx},
  url       = {http://ceur-ws.org/Vol-1396/p51-hidaka.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/staf/HidakaBTM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HamanaMA15,
  author    = {Makoto Hamana and
               Kazutaka Matsuda and
               Kazuyuki Asada},
  title     = {The Algebra of Recursive Graph Transformation Language UnCAL: Complete
               Axiomatisation and Iteration Categorical Semantics},
  journal   = {CoRR},
  volume    = {abs/1511.08851},
  year      = {2015},
  url       = {http://arxiv.org/abs/1511.08851},
  archivePrefix = {arXiv},
  eprint    = {1511.08851},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HamanaMA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Yasukata0M14,
  author    = {Kazuhide Yasukata and
               Naoki Kobayashi and
               Kazutaka Matsuda},
  title     = {Pairwise Reachability Analysis for Higher Order Concurrent Programs
               by Higher-Order Model Checking},
  booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
               {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
  pages     = {312--326},
  year      = {2014},
  crossref  = {DBLP:conf/concur/2014},
  url       = {https://doi.org/10.1007/978-3-662-44584-6\_22},
  doi       = {10.1007/978-3-662-44584-6\_22},
  timestamp = {Tue, 23 May 2017 01:11:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/Yasukata0M14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/VoigtlanderHMW13,
  author    = {Janis Voigtl{\"{a}}nder and
               Zhenjiang Hu and
               Kazutaka Matsuda and
               Meng Wang},
  title     = {Enhancing semantic bidirectionalization via shape bidirectionalizer
               plug-ins},
  journal   = {J. Funct. Program.},
  volume    = {23},
  number    = {5},
  pages     = {515--551},
  year      = {2013},
  url       = {https://doi.org/10.1017/S0956796813000130},
  doi       = {10.1017/S0956796813000130},
  timestamp = {Sun, 17 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/VoigtlanderHMW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WangGMH13,
  author    = {Meng Wang and
               Jeremy Gibbons and
               Kazutaka Matsuda and
               Zhenjiang Hu},
  title     = {Refactoring pattern matching},
  journal   = {Sci. Comput. Program.},
  volume    = {78},
  number    = {11},
  pages     = {2216--2242},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.scico.2012.07.014},
  doi       = {10.1016/j.scico.2012.07.014},
  timestamp = {Sun, 17 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/WangGMH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MatsudaW13,
  author    = {Kazutaka Matsuda and
               Meng Wang},
  title     = {FliPpr: {A} Prettier Invertible Printing System},
  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},
  pages     = {101--120},
  year      = {2013},
  crossref  = {DBLP:conf/esop/2013},
  url       = {https://doi.org/10.1007/978-3-642-37036-6\_6},
  doi       = {10.1007/978-3-642-37036-6\_6},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/MatsudaW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MatsudaW13,
  author    = {Kazutaka Matsuda and
               Meng Wang},
  title     = {Bidirectionalization for free with runtime recording: or, a light-weight
               approach to the view-update problem},
  booktitle = {15th International Symposium on Principles and Practice of Declarative
               Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
  pages     = {297--308},
  year      = {2013},
  crossref  = {DBLP:conf/ppdp/2013},
  url       = {https://doi.org/10.1145/2505879.2505888},
  doi       = {10.1145/2505879.2505888},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/MatsudaW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/MatsudaIN12,
  author    = {Kazutaka Matsuda and
               Kazuhiro Inaba and
               Keisuke Nakano},
  title     = {Polynomial-time inverse computation for accumulative functions with
               multiple data traversals},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {25},
  number    = {1},
  pages     = {3--38},
  year      = {2012},
  url       = {https://doi.org/10.1007/s10990-013-9097-8},
  doi       = {10.1007/s10990-013-9097-8},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/MatsudaIN12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/0001MSY12,
  author    = {Naoki Kobayashi and
               Kazutaka Matsuda and
               Ayumi Shinohara and
               Kazuya Yaguchi},
  title     = {Functional programs as compressed data},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {25},
  number    = {1},
  pages     = {39--84},
  year      = {2012},
  url       = {https://doi.org/10.1007/s10990-013-9093-z},
  doi       = {10.1007/s10990-013-9093-z},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/0001MSY12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MatsudaIN12,
  author    = {Kazutaka Matsuda and
               Kazuhiro Inaba and
               Keisuke Nakano},
  title     = {Polynomial-time inverse computation for accumulative functions with
               multiple data traversals},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
               USA, January 23-24, 2012},
  pages     = {5--14},
  year      = {2012},
  crossref  = {DBLP:conf/pepm/2012},
  url       = {https://doi.org/10.1145/2103746.2103752},
  doi       = {10.1145/2103746.2103752},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/MatsudaIN12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/KobayashiMS12,
  author    = {Naoki Kobayashi and
               Kazutaka Matsuda and
               Ayumi Shinohara},
  title     = {Functional programs as compressed data},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
               USA, January 23-24, 2012},
  pages     = {121--130},
  year      = {2012},
  crossref  = {DBLP:conf/pepm/2012},
  url       = {https://doi.org/10.1145/2103746.2103770},
  doi       = {10.1145/2103746.2103770},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/KobayashiMS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/HidakaHIKMNS11,
  author    = {Soichiro Hidaka and
               Zhenjiang Hu and
               Kazuhiro Inaba and
               Hiroyuki Kato and
               Kazutaka Matsuda and
               Keisuke Nakano and
               Isao Sasano},
  title     = {Marker-Directed Optimization of UnCAL Graph Transformations},
  booktitle = {Logic-Based Program Synthesis and Transformation - 21st International
               Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
               Selected Papers},
  pages     = {123--138},
  year      = {2011},
  crossref  = {DBLP:conf/lopstr/2011},
  url       = {https://doi.org/10.1007/978-3-642-32211-2\_9},
  doi       = {10.1007/978-3-642-32211-2\_9},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/HidakaHIKMNS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MatsudaMHT10,
  author    = {Kazutaka Matsuda and
               Shin{-}Cheng Mu and
               Zhenjiang Hu and
               Masato Takeichi},
  title     = {A Grammar-Based Approach to Invertible Programs},
  booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
               {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
               2010. Proceedings},
  pages     = {448--467},
  year      = {2010},
  crossref  = {DBLP:conf/esop/2010},
  url       = {https://doi.org/10.1007/978-3-642-11957-6\_24},
  doi       = {10.1007/978-3-642-11957-6\_24},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/MatsudaMHT10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VoigtlanderHMW10,
  author    = {Janis Voigtl{\"{a}}nder and
               Zhenjiang Hu and
               Kazutaka Matsuda and
               Meng Wang},
  title     = {Combining syntactic and semantic bidirectionalization},
  booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
               27-29, 2010},
  pages     = {181--192},
  year      = {2010},
  crossref  = {DBLP:conf/icfp/2010},
  url       = {https://doi.org/10.1145/1863543.1863571},
  doi       = {10.1145/1863543.1863571},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/VoigtlanderHMW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HidakaHIKMN10,
  author    = {Soichiro Hidaka and
               Zhenjiang Hu and
               Kazuhiro Inaba and
               Hiroyuki Kato and
               Kazutaka Matsuda and
               Keisuke Nakano},
  title     = {Bidirectionalizing graph transformations},
  booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
               27-29, 2010},
  pages     = {205--216},
  year      = {2010},
  crossref  = {DBLP:conf/icfp/2010},
  url       = {https://doi.org/10.1145/1863543.1863573},
  doi       = {10.1145/1863543.1863573},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/HidakaHIKMN10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/WangGMH10,
  author    = {Meng Wang and
               Jeremy Gibbons and
               Kazutaka Matsuda and
               Zhenjiang Hu},
  title     = {Gradual Refinement},
  booktitle = {Mathematics of Program Construction, 10th International Conference,
               {MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
  pages     = {397--425},
  year      = {2010},
  crossref  = {DBLP:conf/mpc/2010},
  url       = {https://doi.org/10.1007/978-3-642-13321-3\_22},
  doi       = {10.1007/978-3-642-13321-3\_22},
  timestamp = {Sun, 17 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/WangGMH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssgip/FosterMV10,
  author    = {Nate Foster and
               Kazutaka Matsuda and
               Janis Voigtl{\"{a}}nder},
  title     = {Three Complementary Approaches to Bidirectional Programming},
  booktitle = {Generic and Indexed Programming - International Spring School, {SSGIP}
               2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  pages     = {1--46},
  year      = {2010},
  crossref  = {DBLP:conf/ssgip/2010},
  url       = {https://doi.org/10.1007/978-3-642-32202-0\_1},
  doi       = {10.1007/978-3-642-32202-0\_1},
  timestamp = {Wed, 24 May 2017 08:29:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ssgip/FosterMV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MatsudaHT09,
  author    = {Kazutaka Matsuda and
               Zhenjiang Hu and
               Masato Takeichi},
  title     = {Type-based specialization of xml transformations},
  booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
               and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
               USA, January 19-20, 2009},
  pages     = {61--72},
  year      = {2009},
  crossref  = {DBLP:conf/pepm/2009},
  url       = {https://doi.org/10.1145/1480945.1480955},
  doi       = {10.1145/1480945.1480955},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/MatsudaHT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MatsudaHNHT07,
  author    = {Kazutaka Matsuda and
               Zhenjiang Hu and
               Keisuke Nakano and
               Makoto Hamana and
               Masato Takeichi},
  title     = {Bidirectionalization transformation based on automatic derivation
               of view complement functions},
  booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
               2007},
  pages     = {47--58},
  year      = {2007},
  crossref  = {DBLP:conf/icfp/2007},
  url       = {https://doi.org/10.1145/1291151.1291162},
  doi       = {10.1145/1291151.1291162},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/MatsudaHNHT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/waim/HayashiLEMHT07,
  author    = {Yasushi Hayashi and
               Dongxi Liu and
               Kento Emoto and
               Kazutaka Matsuda and
               Zhenjiang Hu and
               Masato Takeichi},
  title     = {A Web Service Architecture for Bidirectional {XML} Updating},
  booktitle = {Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference,
               APWeb 2007, and 8th International Conference, on Web-Age Information
               Management, {WAIM} 2007, Huang Shan, China, June 16-18, 2007, Proceedings},
  pages     = {721--732},
  year      = {2007},
  crossref  = {DBLP:conf/waim/2007},
  url       = {https://doi.org/10.1007/978-3-540-72524-4\_74},
  doi       = {10.1007/978-3-540-72524-4\_74},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/waim/HayashiLEMHT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2018,
  editor    = {Amal Ahmed},
  title     = {Programming Languages and Systems - 27th European Symposium on Programming,
               {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
               14-20, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10801},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89884-1},
  doi       = {10.1007/978-3-319-89884-1},
  isbn      = {978-3-319-89883-4},
  timestamp = {Mon, 16 Apr 2018 12:35:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2018,
  editor    = {Nicolas Wu},
  title     = {Proceedings of the 11th {ACM} {SIGPLAN} International Symposium on
               Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3242744},
  doi       = {10.1145/3242744},
  timestamp = {Tue, 11 Dec 2018 19:29:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2017,
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3018882},
  doi       = {10.1145/3018882},
  isbn      = {978-1-4503-4721-1},
  timestamp = {Tue, 06 Nov 2018 16:57:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2015,
  editor    = {Kathleen Fisher and
               John H. Reppy},
  title     = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
               1-3, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2784731},
  isbn      = {978-1-4503-3669-7},
  timestamp = {Tue, 08 Sep 2015 09:21:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2015bx,
  editor    = {Alcino Cunha and
               Ekkart Kindler},
  title     = {Proceedings of the 4th International Workshop on Bidirectional Transformations
               co-located with Software Technologies: Applications and Foundations,
               {STAF} 2015, L'Aquila, Italy, July 24, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1396},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1396},
  urn       = {urn:nbn:de:0074-1396-7},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/staf/2015bx},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2014,
  editor    = {Paolo Baldan and
               Daniele Gorla},
  title     = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
               {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8704},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44584-6},
  doi       = {10.1007/978-3-662-44584-6},
  isbn      = {978-3-662-44583-9},
  timestamp = {Tue, 23 May 2017 01:11:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2013,
  editor    = {Matthias Felleisen and
               Philippa Gardner},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-37036-6},
  doi       = {10.1007/978-3-642-37036-6},
  isbn      = {978-3-642-37035-9},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2013,
  editor    = {Ricardo Pe{\~{n}}a and
               Tom Schrijvers},
  title     = {15th International Symposium on Principles and Practice of Declarative
               Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2505879},
  isbn      = {978-1-4503-2154-9},
  timestamp = {Thu, 19 Sep 2013 11:13:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2012,
  editor    = {Oleg Kiselyov and
               Simon J. Thompson},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
               USA, January 23-24, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2103746},
  isbn      = {978-1-4503-1118-2},
  timestamp = {Thu, 12 May 2016 12:49:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2011,
  editor    = {Germ{\'{a}}n Vidal},
  title     = {Logic-Based Program Synthesis and Transformation - 21st International
               Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7225},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32211-2},
  doi       = {10.1007/978-3-642-32211-2},
  isbn      = {978-3-642-32210-5},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2010,
  editor    = {Andrew D. Gordon},
  title     = {Programming Languages and Systems, 19th European Symposium on Programming,
               {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6012},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11957-6},
  doi       = {10.1007/978-3-642-11957-6},
  isbn      = {978-3-642-11956-9},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2010,
  editor    = {Paul Hudak and
               Stephanie Weirich},
  title     = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
               27-29, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-794-3},
  timestamp = {Fri, 08 Oct 2010 07:46:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2010,
  editor    = {Claude Bolduc and
               Jules Desharnais and
               B{\'{e}}chir Ktari},
  title     = {Mathematics of Program Construction, 10th International Conference,
               {MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6120},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13321-3},
  doi       = {10.1007/978-3-642-13321-3},
  isbn      = {978-3-642-13320-6},
  timestamp = {Mon, 22 May 2017 17:11:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssgip/2010,
  editor    = {Jeremy Gibbons},
  title     = {Generic and Indexed Programming - International Spring School, {SSGIP}
               2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {7470},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32202-0},
  doi       = {10.1007/978-3-642-32202-0},
  isbn      = {978-3-642-32201-3},
  timestamp = {Wed, 24 May 2017 08:29:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ssgip/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2009,
  editor    = {Germ{\'{a}}n Puebla and
               Germ{\'{a}}n Vidal},
  title     = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
               and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
               USA, January 19-20, 2009},
  publisher = {{ACM}},
  year      = {2009},
  url       = {http://dl.acm.org/citation.cfm?id=1480945},
  isbn      = {978-1-60558-327-3},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2007,
  editor    = {Ralf Hinze and
               Norman Ramsey},
  title     = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
               2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {https://dl.acm.org/citation.cfm?id=1291220},
  isbn      = {978-1-59593-815-2},
  timestamp = {Mon, 16 Jul 2018 07:56:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/waim/2007,
  editor    = {Guozhu Dong and
               Xuemin Lin and
               Wei Wang and
               Yun Yang and
               Jeffrey Xu Yu},
  title     = {Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference,
               APWeb 2007, and 8th International Conference, on Web-Age Information
               Management, {WAIM} 2007, Huang Shan, China, June 16-18, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4505},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-72524-4},
  doi       = {10.1007/978-3-540-72524-4},
  isbn      = {978-3-540-72483-4},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/waim/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier