Shin-Cheng Mu

Available identifiers

zbMath Open mu.shin-chengMaRDI QIDQ1648869

List of research outcomes

Publication	Date of Publication	Type
A greedy algorithm for dropping digits	2022-01-07	Paper
Longest segment of balanced parentheses: an exercise in program inversion in a segment problem	2022-01-07	Paper
Not by equations alone. Reasoning with extensible effects	2021-12-22	Paper
Declarative pearl: deriving monadic quicksort	2021-07-06	Paper
Handling local state with global state	2020-05-05	Paper
Functional pearl: folding polynomials of polynomials	2018-07-09	Paper
Calculating a linear-time solution to the densest-segment problem	2017-10-23	Paper
Queueing and glueing for optimal partitioning (functional pearl)	2017-05-10	Paper
Formal derivation of greedy algorithms from relational specifications: a tutorial	2016-12-15	Paper
Functional pearl: nearest shelters in Manhattan	2016-02-26	Paper
Generalising and dualising the third list-homomorphism theorem: functional pearl	2015-03-05	Paper
Programming from Galois connections	2013-01-16	Paper
Programming from Galois connections	2011-06-17	Paper
A grammar-based approach to invertible programs	2010-05-04	Paper
Rebuilding a tree from its traversals: a case study of program inversion	2010-01-05	Paper
Algebra of programming in Agda: Dependent types for relational program derivation	2009-11-13	Paper
A programmable editor for developing structured documents based on bidirectional transformations	2009-08-04	Paper
Algebra of Programming Using Dependent Types	2008-08-28	Paper
A Pushdown Machine for Recursive XML Processing	2008-05-06	Paper
Countdown: A case study in origami programming	2005-10-11	Paper
Mathematics of Program Construction	2005-08-26	Paper
Programming Languages and Systems	2005-08-17	Paper
FUNCTIONAL PEARL Inverting the Burrows–Wheeler transform	2005-03-21	Paper
Theory and applications of inverting functions as folds	2004-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4808695	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738116	2004-08-11	Paper

Research outcomes over time

This page was built for person: Shin-Cheng Mu