3 papers
cs.PL2026
Folding the dragon
Ting-Wu Chang, Liang-Ting Chen, Shin-Cheng Mu
The Heighway Dragon Curve is one of the best known fractal curves. There are two ways to construct the curve: starting from a straight line segment, repeatedly make a copy of the c…
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.PL2023
Bottom-up computation using trees of sublists (Functional Pearl)
Shin-Cheng Mu
Some top-down problem specifications, if executed directly, may compute sub-problems repeatedly. Instead, we may want a bottom-up algorithm that stores solutions of sub-problems in…