E-LIB Suche - Ergebnisse für: Ko, Hsiang-Shang

1

A Formal Treatment of Bidirectional Typing:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Chen, Liang-Ting ; Ko, Hsiang-Shang - p. 115-142 , 2024

2

Datatype-generic programming meets elaborator reflection:

Ko, Hsiang-Shang ; Chen, Liang-Ting ; Lin, Tzu-Chi
Proceedings of the ACM on Programming Languages. 6 (2022) ICFP - p. 225-253 , 2022

Link: https://doi.org/10.1145/..

3

Proceedings of the 6th ACM SIGPLAN International Workshop o..:

Ko, Hsiang-Shang ; Orchard, Dominic , 2021

Link: https://dl.acm.org/doi/1..

4

Unifying Parsing and Reflective Printing for Fully Disambig..:

Zhu, Zirun ; Ko, Hsiang-Shang ; Zhang, Yongzhe...
New Generation Computing. 38 (2020) 3 - p. 423-476 , 2020

Link: https://doi.org/10.1007/..

5

Benchmarking bidirectional transformations: theory, impleme..:

Anjorin, Anthony ; Buchmann, Thomas ; Westfechtel, Bernhard...
Software and Systems Modeling. 19 (2019) 3 - p. 647-691 , 2019

Link: https://doi.org/10.1007/..

6

Towards a visual editor for lens combinators (extended abst..:

, In: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming,

Anjorin, Anthony ; Ko, Hsiang-Shang - p. 33-35 , 2018

Link: https://dl.acm.org/doi/1..

7

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluati..:

Henglein, Fritz ; Ko, Hsiang-Shang , 2017

Link: https://dl.acm.org/doi/1..

8

An axiomatic basis for bidirectional programming:

Ko, Hsiang-Shang ; Hu, Zhenjiang
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

Link: https://doi.org/10.1145/..

9

An axiomatic basis for bidirectional programming:

Ko, Hsiang-Shang ; Hu, Zhenjiang
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

Link: https://dl.acm.org/doi/1..

10

Parsing and reflective printing, bidirectionally:

, In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering,

Zhu, Zirun ; Zhang, Yongzhe ; Ko, Hsiang-Shang... - p. 2-14 , 2016

Link: https://dl.acm.org/doi/1..

11

BiGUL: a formally verified core language for putback-based ..:

, In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,

Ko, Hsiang-Shang ; Zan, Tao ; Hu, Zhenjiang - p. 61-72 , 2016

Link: https://dl.acm.org/doi/1..

12

Programming with ornaments:

KO, HSIANG-SHANG ; GIBBONS, JEREMY
Journal of Functional Programming. 27 (2016) - p. , 2016

Link: https://doi.org/10.1017/..

13

Relational algebraic ornaments:

, In: Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming,

Ko, Hsiang-Shang ; Gibbons, Jeremy - p. 37-48 , 2013

Link: https://dl.acm.org/doi/1..

14

Modularising inductive families:

, In: Proceedings of the seventh ACM SIGPLAN workshop on Generic programming,

Ko, Hsiang-Shang ; Gibbons, Jeremy - p. 13-24 , 2011

Link: https://dl.acm.org/doi/1..

15

Algebra of programming in Agda: Dependent types for relatio..:

MU, SHIN-CHENG ; KO, HSIANG-SHANG ; JANSSON, PATRIK
Journal of Functional Programming. 19 (2009) 5 - p. 545-579 , 2009

Link: https://doi.org/10.1017/..