Skip to main content

3 Result(s)

within Chapter Remove this filter Hsiang-Shang Ko Remove this filter Programming Languages, Compilers, Interpreters Remove this filter

and

  1. Chapter and Conference Paper

    A Formal Treatment of Bidirectional Ty**

    There has been much progress in designing bidirectional type systems and associated type synthesis algorithms, but mainly on a case-by-case basis. To remedy the situation, this paper develops a general and formal

    Liang-Ting Chen, Hsiang-Shang Ko in Programming Languages and Systems (2024)

    Download PDF (1438 KB) View Chapter

  2. No Access

    Chapter and Conference Paper

    Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access

    Pregel is a popular distributed computing model for dealing with large-scale graphs. However, it can be tricky to implement graph algorithms correctly and efficiently in Pregel’s vertex-centric model, especial...

    Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu in Programming Languages and Systems (2017)

  3. No Access

    Chapter and Conference Paper

    Algebra of Programming Using Dependent Types

    Dependent type theory is rich enough to express that a program satisfies an input/output relational specification, but it could be hard to construct the proof term. On the other hand, squiggolists know very we...

    Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson in Mathematics of Program Construction (2008)