The following pages link to Shin-Cheng Mu (Q1648869):
Displaying 26 items.
- Functional pearl: folding polynomials of polynomials (Q1648870) (← links)
- Theory and applications of inverting functions as folds (Q1881267) (← links)
- Programming from Galois connections (Q1931902) (← links)
- Declarative pearl: deriving monadic quicksort (Q2039941) (← links)
- Handling local state with global state (Q2176670) (← links)
- A programmable editor for developing structured documents based on bidirectional transformations (Q2271900) (← links)
- Formal derivation of greedy algorithms from relational specifications: a tutorial (Q2374306) (← links)
- Functional Pearl: Nearest Shelters in Manhattan (Q2789046) (← links)
- Queueing and glueing for optimal partitioning (functional pearl) (Q2982011) (← links)
- Programming from Galois Connections (Q3007585) (← links)
- Algebra of Programming Using Dependent Types (Q3521992) (← links)
- A Grammar-Based Approach to Invertible Programs (Q3558241) (← links)
- Algebra of programming in Agda: Dependent types for relational program derivation (Q3644935) (← links)
- FUNCTIONAL PEARL <i>Inverting the Burrows–Wheeler transform</i> (Q4660258) (← links)
- (Q4738116) (← links)
- (Q4808695) (← links)
- Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
- A greedy algorithm for dropping digits (Q5020906) (← links)
- Longest segment of balanced parentheses: an exercise in program inversion in a segment problem (Q5020908) (← links)
- Generalising and dualising the third list-homomorphism theorem (Q5176989) (← links)
- Mathematics of Program Construction (Q5313091) (← links)
- Calculating a linear-time solution to the densest-segment problem (Q5371958) (← links)
- A Pushdown Machine for Recursive XML Processing (Q5385602) (← links)
- Programming Languages and Systems (Q5464046) (← links)
- Countdown: A case study in origami programming (Q5695116) (← links)
- Programming Languages and Systems (Q5902365) (← links)
