Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hsiang-Shang Ko
@inproceedings{DBLP:conf/esop/ChenK24,
author = {Liang{-}Ting Chen and
Hsiang{-}Shang Ko},
editor = {Stephanie Weirich},
title = {A Formal Treatment of Bidirectional Typing},
booktitle = {Programming Languages and Systems - 33rd European Symposium on Programming,
{ESOP} 2024, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg,
April 6-11, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14576},
pages = {115--142},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57262-3\_5},
doi = {10.1007/978-3-031-57262-3\_5},
timestamp = {Sun, 14 Apr 2024 18:32:18 +0200},
biburl = {https://dblp.org/rec/conf/esop/ChenK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KoCL22,
author = {Hsiang{-}Shang Ko and
Liang{-}Ting Chen and
Tzu{-}Chi Lin},
title = {Datatype-generic programming meets elaborator reflection},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {225--253},
year = {2022},
url = {https://doi.org/10.1145/3547629},
doi = {10.1145/3547629},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/KoCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ChenK22,
author = {Liang{-}Ting Chen and
Hsiang{-}Shang Ko},
editor = {Florin Manea and
Alex Simpson},
title = {Realising Intensional {S4} and {GL} Modalities},
booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {216},
pages = {14:1--14:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CSL.2022.14},
doi = {10.4230/LIPICS.CSL.2022.14},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/ChenK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/Ko21,
author = {Hsiang{-}Shang Ko},
title = {Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm
Design},
journal = {Art Sci. Eng. Program.},
volume = {5},
number = {2},
pages = {7},
year = {2021},
url = {https://doi.org/10.22152/programming-journal.org/2021/5/7},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2021/5/7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/programming/Ko21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/AnjorinKL21,
author = {Anthony Anjorin and
Hsiang{-}Shang Ko and
Erhan Leblebici},
editor = {Ludovico Iovino and
Lars Michael Kristensen},
title = {C-Lenses Explained: Bx Foundations for the Rest of Us},
booktitle = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
Transformations, Joint Workshop on Foundations and Practice of Visual
Modeling and Data for Model-Driven Engineering, International workshop
on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
for Healthcare Systems, and 20th International Workshop on {OCL} and
Textual Modeling co-located with Software Technologies: Applications
and Foundations, Federation of Conferences {(STAF} 2021), Virtual
Event / Bergen, Norway, June 21-25, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2999},
pages = {1--17},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2999/bxpaper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/AnjorinKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2021tyde,
editor = {Hsiang{-}Shang Ko and
Dominic Orchard},
title = {TyDe 2021: Proceedings of the 6th {ACM} {SIGPLAN} International Workshop
on Type-Driven Development, Virtual Event, Korea, 22 August 2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3471875?af=R},
doi = {10.1145/3471875?AF=R},
isbn = {978-1-4503-8616-6},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2021tyde.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-01465,
author = {Yun{-}Sheng Chang and
Yu{-}Fang Chen and
Hsiang{-}Shang Ko},
title = {Weakly Durable High-Performance Transactions},
journal = {CoRR},
volume = {abs/2110.01465},
year = {2021},
url = {https://arxiv.org/abs/2110.01465},
eprinttype = {arXiv},
eprint = {2110.01465},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-01465.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/ZhuKZMSH20,
author = {Zirun Zhu and
Hsiang{-}Shang Ko and
Yongzhe Zhang and
Pedro Martins and
Jo{\~{a}}o Saraiva and
Zhenjiang Hu},
title = {Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars},
journal = {New Gener. Comput.},
volume = {38},
number = {3},
pages = {423--476},
year = {2020},
url = {https://doi.org/10.1007/s00354-019-00082-y},
doi = {10.1007/S00354-019-00082-Y},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/ZhuKZMSH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AnjorinBWDKEHSZ20,
author = {Anthony Anjorin and
Thomas Buchmann and
Bernhard Westfechtel and
Zinovy Diskin and
Hsiang{-}Shang Ko and
Romina Eramo and
Georg Hinkel and
Leila Samimi{-}Dehkordi and
Albert Z{\"{u}}ndorf},
title = {Benchmarking bidirectional transformations: theory, implementation,
application, and assessment},
journal = {Softw. Syst. Model.},
volume = {19},
number = {3},
pages = {647--691},
year = {2020},
url = {https://doi.org/10.1007/s10270-019-00752-x},
doi = {10.1007/S10270-019-00752-X},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/AnjorinBWDKEHSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/ChangHLTWCKC20,
author = {Yun{-}Sheng Chang and
Yao Hsiao and
Tzu{-}Chi Lin and
Che{-}Wei Tsao and
Chun{-}Feng Wu and
Yuan{-}Hao Chang and
Hsiang{-}Shang Ko and
Yu{-}Fang Chen},
title = {Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash
Translation Layer},
booktitle = {14th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2020, Virtual Event, November 4-6, 2020},
pages = {81--97},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/osdi20/presentation/chang},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/ChangHLTWCKC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-02031,
author = {Zirun Zhu and
Zhixuan Yang and
Hsiang{-}Shang Ko and
Zhenjiang Hu},
title = {Retentive Lenses},
journal = {CoRR},
volume = {abs/2001.02031},
year = {2020},
url = {http://arxiv.org/abs/2001.02031},
eprinttype = {arXiv},
eprint = {2001.02031},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-02031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-16302,
author = {Hsiang{-}Shang Ko},
title = {Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm
Design},
journal = {CoRR},
volume = {abs/2010.16302},
year = {2020},
url = {https://arxiv.org/abs/2010.16302},
eprinttype = {arXiv},
eprint = {2010.16302},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-16302.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigcomp/GuoKIYH19,
author = {Liye Guo and
Hsiang{-}Shang Ko and
Keigo Imai and
Nobuko Yoshida and
Zhenjiang Hu},
title = {Towards Bidirectional Synchronization Between Communicating Processes
and Session Types},
booktitle = {{IEEE} International Conference on Big Data and Smart Computing, BigComp
2019, Kyoto, Japan, February 27 - March 2, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/BIGCOMP.2019.8679265},
doi = {10.1109/BIGCOMP.2019.8679265},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bigcomp/GuoKIYH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bx/2019,
editor = {James Cheney and
Hsiang{-}Shang Ko},
title = {Proceedings of the 8th International Workshop on Bidirectional Transformations
co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia,
PA, USA, June 4, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2355},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2355},
urn = {urn:nbn:de:0074-2355-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bx/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KoH18,
author = {Hsiang{-}Shang Ko and
Zhenjiang Hu},
title = {An axiomatic basis for bidirectional programming},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {41:1--41:29},
year = {2018},
url = {https://doi.org/10.1145/3158129},
doi = {10.1145/3158129},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KoH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/AnjorinK18,
author = {Anthony Anjorin and
Hsiang{-}Shang Ko},
editor = {Stefan Marr and
Jennifer B. Sartor},
title = {Towards a visual editor for lens combinators (extended abstract)},
booktitle = {Conference Companion of the 2nd International Conference on Art, Science,
and Engineering of Programming, Nice, France, April 09-12, 2018},
pages = {33--35},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3191697.3191719},
doi = {10.1145/3191697.3191719},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/programming/AnjorinK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2018,
editor = {Fritz Henglein and
Hsiang{-}Shang Ko},
title = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3175493},
doi = {10.1145/3175493},
isbn = {978-1-4503-5587-2},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-06674,
author = {Yasuhito Asano and
Soichiro Hidaka and
Zhenjiang Hu and
Yasunori Ishihara and
Hiroyuki Kato and
Hsiang{-}Shang Ko and
Keisuke Nakano and
Makoto Onizuka and
Yuya Sasaki and
Toshiyuki Shimizu and
Kanae Tsushima and
Masatoshi Yoshikawa},
title = {A View-based Programmable Architecture for Controlling and Integrating
Decentralized Data},
journal = {CoRR},
volume = {abs/1803.06674},
year = {2018},
url = {http://arxiv.org/abs/1803.06674},
eprinttype = {arXiv},
eprint = {1803.06674},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-06674.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-10357,
author = {Yasuhito Asano and
Soichiro Hidaka and
Zhenjiang Hu and
Yasunori Ishihara and
Hiroyuki Kato and
Hsiang{-}Shang Ko and
Keisuke Nakano and
Makoto Onizuka and
Yuya Sasaki and
Toshiyuki Shimizu and
Van{-}Dang Tran and
Kanae Tsushima and
Masatoshi Yoshikawa},
title = {Making View Update Strategies Programmable - Toward Controlling and
Sharing Distributed Data -},
journal = {CoRR},
volume = {abs/1809.10357},
year = {2018},
url = {http://arxiv.org/abs/1809.10357},
eprinttype = {arXiv},
eprint = {1809.10357},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-10357.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/KoG17,
author = {Hsiang{-}Shang Ko and
Jeremy Gibbons},
title = {Programming with ornaments},
journal = {J. Funct. Program.},
volume = {27},
pages = {e2},
year = {2017},
url = {https://doi.org/10.1017/S0956796816000307},
doi = {10.1017/S0956796816000307},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/KoG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ZhangKH17,
author = {Yongzhe Zhang and
Hsiang{-}Shang Ko and
Zhenjiang Hu},
editor = {Bor{-}Yuh Evan Chang},
title = {Palgol: {A} High-Level {DSL} for Vertex-Centric Graph Processing with
Remote Data Access},
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 = {301--320},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_15},
doi = {10.1007/978-3-319-71237-6\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ZhangKH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/AnjorinDJKLW17,
author = {Anthony Anjorin and
Zinovy Diskin and
Fr{\'{e}}d{\'{e}}ric Jouault and
Hsiang{-}Shang Ko and
Erhan Leblebici and
Bernhard Westfechtel},
editor = {Romina Eramo and
Michael Johnson},
title = {BenchmarX Reloaded: {A} Practical Benchmark Framework for Bidirectional
Transformations},
booktitle = {Proceedings of the 6th International Workshop on Bidirectional Transformations
co-located with The European Joint Conferences on Theory and Practice
of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1827},
pages = {15--30},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1827/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/etaps/AnjorinDJKLW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZhangKH17,
author = {Yongzhe Zhang and
Hsiang{-}Shang Ko and
Zhenjiang Hu},
title = {Palgol: {A} High-Level {DSL} for Vertex-Centric Graph Processing with
Remote Data Access},
journal = {CoRR},
volume = {abs/1703.09542},
year = {2017},
url = {http://arxiv.org/abs/1703.09542},
eprinttype = {arXiv},
eprint = {1703.09542},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZhangKH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/HuK16,
author = {Zhenjiang Hu and
Hsiang{-}Shang Ko},
editor = {Jeremy Gibbons and
Perdita Stevens},
title = {Principles and Practice of Bidirectional Programming in BiGUL},
booktitle = {Bidirectional Transformations - International Summer School, Oxford,
UK, July 25-29, 2016, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9715},
pages = {100--150},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-79108-1\_4},
doi = {10.1007/978-3-319-79108-1\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/HuK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/ZanLKH16,
author = {Tao Zan and
Li Liu and
Hsiang{-}Shang Ko and
Zhenjiang Hu},
editor = {Anthony Anjorin and
Jeremy Gibbons},
title = {Brul: {A} Putback-Based Bidirectional Transformation Library for Updatable
Views},
booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
Bx 2016, co-located with The European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1571},
pages = {77--89},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1571/paper\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/etaps/ZanLKH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/KoZH16,
author = {Hsiang{-}Shang Ko and
Tao Zan and
Zhenjiang Hu},
editor = {Martin Erwig and
Tiark Rompf},
title = {BiGUL: a formally verified core language for putback-based bidirectional
programming},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2016, St. Petersburg, FL, USA, January
20 - 22, 2016},
pages = {61--72},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2847538.2847544},
doi = {10.1145/2847538.2847544},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/KoZH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/ZhuZK0SH16,
author = {Zirun Zhu and
Yongzhe Zhang and
Hsiang{-}Shang Ko and
Pedro Martins and
Jo{\~{a}}o Saraiva and
Zhenjiang Hu},
editor = {Tijs van der Storm and
Emilie Balland and
D{\'{a}}niel Varr{\'{o}}},
title = {Parsing and reflective printing, bidirectionally},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Software Language Engineering, Amsterdam, The Netherlands, October
31 - November 1, 2016},
pages = {2--14},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2997369},
timestamp = {Tue, 06 Nov 2018 11:07:20 +0100},
biburl = {https://dblp.org/rec/conf/sle/ZhuZK0SH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/ZhuK0SH15,
author = {Zirun Zhu and
Hsiang{-}Shang Ko and
Pedro Martins and
Jo{\~{a}}o Saraiva and
Zhenjiang Hu},
editor = {Alcino Cunha and
Ekkart Kindler},
title = {BiYacc: Roll Your Parser and Reflective Printer into One},
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},
series = {{CEUR} Workshop Proceedings},
volume = {1396},
pages = {43--50},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1396/p43-zhu.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/ZhuK0SH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Ko14,
author = {Hsiang{-}Shang Ko},
title = {Analysis and synthesis of inductive families},
school = {University of Oxford, {UK}},
year = {2014},
url = {http://ora.ox.ac.uk/objects/uuid:2bc39bde-ce59-4a49-b499-3afdf174bbab},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Ko14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KoG13,
author = {Hsiang{-}Shang Ko and
Jeremy Gibbons},
editor = {Stephanie Weirich},
title = {Relational algebraic ornaments},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} workshop on Dependently-typed
programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September
24, 2013},
pages = {37--48},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502409.2502413},
doi = {10.1145/2502409.2502413},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/KoG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KoG11,
author = {Hsiang{-}Shang Ko and
Jeremy Gibbons},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Modularising inductive families},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {13--24},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036921},
doi = {10.1145/2036918.2036921},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/KoG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MuKJ09,
author = {Shin{-}Cheng Mu and
Hsiang{-}Shang Ko and
Patrik Jansson},
title = {Algebra of programming in Agda: Dependent types for relational program
derivation},
journal = {J. Funct. Program.},
volume = {19},
number = {5},
pages = {545--579},
year = {2009},
url = {https://doi.org/10.1017/S0956796809007345},
doi = {10.1017/S0956796809007345},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/MuKJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MuKJ08,
author = {Shin{-}Cheng Mu and
Hsiang{-}Shang Ko and
Patrik Jansson},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Algebra of Programming Using Dependent Types},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {268--283},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_15},
doi = {10.1007/978-3-540-70594-9\_15},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/MuKJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-15 20:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
