1 citations · 1 across the 2 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2025
Binomial Tabulation: A Short Story
Hsiang-Shang Ko, Shin-Cheng Mu, Jeremy Gibbons
We reconstruct some of the development in Richard Bird's [2008] paper Zippy Tabulations of Recursive Functions, using dependent types and string diagrams rather than mere simple ty…
cs.PL2020
Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design
Hsiang-Shang Ko
In dependently typed programming, proofs of basic, structural properties can be embedded implicitly into programs and do not need to be written explicitly. Besides saving the effor…
cs.PL2020
Retentive Lenses
Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko +1
Based on Foster et al.'s lenses, various bidirectional programming languages and systems have been developed for helping the user to write correct data synchronisers. The two well-…