2 papers
cs.PL2026
Folding the Heighway dragon curve
Ting-Wu Chang, Liang-Ting Chen, Shin-Cheng Mu
The Heighway dragon curve is one of the most known fractal curves. There are two ways to construct the curve: repeatedly make a copy of the current curve, rotate it by 90 degrees,…
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…