## Declarative pearl: deriving monadic quicksort

Shin-Cheng Mu and Tsung-Ju Chiang. In *Functional and Logic Programming (FLOPS)*, Keisuke Nakano and Konstantinos Sagonas, editors. April 2020.

[PDF |Agda Proofs]

Skip to content
# Conference

## Declarative pearl: deriving monadic quicksort

## Handling local state with global state

## Functional pearl: folding polynomials of polynomials

## Modular reifiable matching: a list-of-functors approach to two-level types

## Constructing list homomorphisms from proofs

## Generalising and dualising the third list-homomorphism theorem

## Programming from Galois connections

## A grammar-based approach to invertible programs

## Algebra of programming using dependent types

Shin-Cheng Mu and Tsung-Ju Chiang. In *Functional and Logic Programming (FLOPS)*, Keisuke Nakano and Konstantinos Sagonas, editors. April 2020.

[PDF |Agda Proofs]

Koen Pauwels, Tom Schrijvers and Shin-Cheng Mu. In *Mathematics of Program Construction (MPC)*, Graham Hutton, editor, pp. 18-44. Springer, October 2019.

[PDF]

Chen-Mou Cheng, Ruey-Lin Hsu and Shin-Cheng Mu. In *Functional and Logic Programming (FLOPS)*, John Gallagher and Martin Sulzmann, editors, pp 68-83, 2018.

Bruno C. d. S. Oliveira, Shin-Cheng Mu, and Shu-Hung You. In the 8th ACM SIGPLAN Symposium on Haskell (Haskell 2015), pages 82-93. Sep. 2015.

[Paper (doi: 10.1145/2804302.2804315)| Code]

Yun-Yan Chi and Shin-Cheng Mu. Constructing list homomorphisms from proofs. In the *9th Asian Symposium on Programming Languages and Systems* (APLAS 2011), LNCS 7078, pages 74-88. [PDF]

Shin-Cheng Mu and Akimasa Morihata. Generalising and dualising the third list-homomorphism theorem. In the *16th ACM SIGPLAN International Conference on Functional Programming* (ICFP 2011), pages 385-391.

[PDF]

Shin-Cheng Mu and José Nuno Oliveira. Programming from Galois connections. In the *12th International Conference on Relational and Algebraic Methods in Computer Science* (RAMiCS #12), LNCS 6663, pages 294-313. May 30 – June 3, 2011.

[PDF]

Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, and Masato Takeichi. A grammar-based approach to invertible programs. In *19th European Symposium on Programming (ESOP 2010)*, LNCS 6012, pp 448-467, March 2010.

[PDF]

S-C. Mu, H-S. Ko, and P. Jansson. Algebra of programming using dependent types. In *Mathematics of Program Construction 2008*, LNCS 5133, pp 268-283. July 2008.

Superseded by the extended version for *Journal of Functional Programming*.

[PDF]