Skip to main content

1 Result(s)

within Chapter Remove this filter Hsiang-Shang Ko Remove this filter

and
Your search also matched 3 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

Principles and Practice of Bidirectional Programming in BiGUL

Include preview-only content

  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