6 citations · 12 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020★ 2 cited
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-…