Published in: LIPIcs, Volume 56, 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, and Daisuke Kikuchi. A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. In 30th European Conference on Object-Oriented Programming (ECOOP 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 56, pp. 18:1-18:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{ohori_et_al:LIPIcs.ECOOP.2016.18, author = {Ohori, Atsushi and Ueno, Katsuhiro and Sasaki, Tomohiro and Kikuchi, Daisuke}, title = {{A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects}}, booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)}, pages = {18:1--18:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-014-9}, ISSN = {1868-8969}, year = {2016}, volume = {56}, editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.18}, URN = {urn:nbn:de:0030-drops-61128}, doi = {10.4230/LIPIcs.ECOOP.2016.18}, annote = {Keywords: JSON, Type System, Polymorphic Record Calculus} }
Published in: Dagstuhl Seminar Proceedings, Volume 4461, Practical Approaches to Multi-Objective Optimization (2005)
Daisuke Sasaki and Shigeru Obayashi. Visualization of Global Trade-Offs in Aerodynamic Problems by ARMOGAs. In Practical Approaches to Multi-Objective Optimization. Dagstuhl Seminar Proceedings, Volume 4461, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{sasaki_et_al:DagSemProc.04461.20, author = {Sasaki, Daisuke and Obayashi, Shigeru}, title = {{Visualization of Global Trade-Offs in Aerodynamic Problems by ARMOGAs}}, booktitle = {Practical Approaches to Multi-Objective Optimization}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4461}, editor = {J\"{u}rgen Branke and Kalyanmoy Deb and Kaisa Miettinen and Ralph E. Steuer}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04461.20}, URN = {urn:nbn:de:0030-drops-2418}, doi = {10.4230/DagSemProc.04461.20}, annote = {Keywords: Aerodynamic optimization, MOEA, SOM, trade-off analysis} }
Feedback for Dagstuhl Publishing