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	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
Programming Languages and Systems	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Shin-Cheng Mu