柯向上

J-GLOBALへ         更新日: 17/06/20 13:31
 
アバター
研究者氏名
柯向上
ハンドル
Josh Ko
eメール
hsiang-shangnii.ac.jp
URL
https://josh-hs-ko.github.io
所属
国立情報学研究所
職名
特任研究員

学歴

 
2010年10月
 - 
2014年8月
University of Oxford Department of Computer Science Doctor of Philosophy
 
2005年9月
 - 
2009年6月
National Taiwan University Department of Computer Science and Information Engineering Bachelor of Science
 

論文

 
Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, and Bernhard Westfechtel
International Workshop on Bidirectional Transformations   15-30   2017年   [査読有り]
Journal of Functional Programming   27(e2) 1-43   2017年   [査読有り]
Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, Jõao Saraiva, and Zhenjiang Hu
International Conference on Software Language Engineering   2-14   2016年   [査読有り]
Tao Zan, Li Liu, Hsiang-Shang Ko, and Zhenjiang Hu
International Workshop on Bidirectional Transformations   77-89   2016年   [査読有り]
Hsiang-Shang Ko, Tao Zan, and Zhenjiang Hu
Workshop on Partial Evaluation and Program Manipulation   61-72   2016年   [査読有り]
International Workshop on Bidirectional Transformations   43-50   2015年   [査読有り]
Hsiang-Shang Ko
University of Oxford      2014年
DPhil thesis
Hsiang-Shang Ko and Jeremy Gibbons
Workshop on Dependently Typed Programming   37-48   2013年   [査読有り]
Hsiang-Shang Ko and Jeremy Gibbons
Progress in Informatics   10 65-88   2013年   [査読有り]
Hsiang-Shang Ko and Jeremy Gibbons
Workshop on Generic Programming   13-24   2011年   [査読有り]
Shin-Cheng Mu, Hsiang-Shang Ko, and Patrik Jansson
Journal of Functional Programming   19(5) 545-579   2009年   [査読有り]
Shin-Cheng Mu, Hsiang-Shang Ko, and Patrik Jansson
International Conference on Mathematics of Program Construction   268-283   2008年   [査読有り]