E-LIB Suche - Ergebnisse für: Mu, Shin-Cheng

1

Longest segment of balanced parentheses: an exercise in pro..:

MU, SHIN-CHENG ; CHIANG, TSUNG-JU
Journal of Functional Programming. 31 (2021) - p. , 2021

Link: https://doi.org/10.1017/..

2

A greedy algorithm for dropping digits:

BIRD, RICHARD ; MU, SHIN-CHENG
Journal of Functional Programming. 31 (2021) - p. , 2021

Link: https://doi.org/10.1017/..

3

Not by equations alone: Reasoning with extensible effects:

KISELYOV, OLEG ; MU, SHIN-CHENG ; SABRY, AMR
Journal of Functional Programming. 31 (2021) - p. , 2021

Link: https://doi.org/10.1017/..

4

Declarative Pearl: Deriving Monadic Quicksort:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Mu, Shin-Cheng ; Chiang, Tsung-Ju - p. 124-138 , 2020

Link: https://doi.org/10.1007/..

5

Handling Local State with Global State:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,

Pauwels, Koen ; Schrijvers, Tom ; Mu, Shin-Cheng - p. 18-44 , 2019

Link: https://doi.org/10.1007/..

6

Queueing and glueing for optimal partitioning (functional p..:

, In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming,

Mu, Shin-Cheng ; Chiang, Yu-Hsi ; Lyu, Yu-Han - p. 158-167 , 2016

Link: https://dl.acm.org/doi/1..

7

Queueing and glueing for optimal partitioning (functional p..:

Mu, Shin-Cheng ; Chiang, Yu-Hsi ; Lyu, Yu-Han
ACM SIGPLAN Notices. 51 (2016) 9 - p. 158-167 , 2016

Link: https://doi.org/10.1145/..

8

Formal derivation of Greedy algorithms from relational spec..:

Chiang, Yu-Hsi ; Mu, Shin-Cheng
Journal of Logical and Algebraic Methods in Programming. 85 (2016) 5 - p. 879-905 , 2016

Link: https://doi.org/10.1016/..

9

Modular reifiable matching: a list-of-functors approach to ..:

Oliveira, Bruno C. d. S. ; Mu, Shin-Cheng ; You, Shu-Hung
ACM SIGPLAN Notices. 50 (2015) 12 - p. 82-93 , 2015

Link: https://doi.org/10.1145/..

10

Calculating a linear-time solution to the densest-segment p..:

CURTIS, SHARON ; MU, SHIN-CHENG
Journal of Functional Programming. 25 (2015) - p. , 2015

Link: https://doi.org/10.1017/..

11

Modular reifiable matching: a list-of-functors approach to ..:

, In: Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell,

Oliveira, Bruno C. d. S. ; Mu, Shin-Cheng ; You, Shu-Hung - p. 82-93 , 2015

Link: https://dl.acm.org/doi/1..

12

Approximate by thinning: Deriving fully polynomial-time app..:

Mu, Shin-Cheng ; Lyu, Yu-Han ; Morihata, Akimasa
Science of Computer Programming. 98 (2015) - p. 484-515 , 2015

Link: https://doi.org/10.1016/..

13

Selected and extended papers from Partial Evaluation and Pr..:

Albert, Elvira ; Mu, Shin-Cheng
Science of Computer Programming. 95 (2014) - p. 147-148 , 2014

Link: https://doi.org/10.1016/..

14

Proceedings of the ACM SIGPLAN 2013 workshop on Partial eva..:

Albert, Elvira ; Mu, Shin-Cheng , 2013

Link: https://dl.acm.org/doi/1..

15

Session details: Keynote address 1:

, In: Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation,

Mu, Shin-Cheng , 2013

Link: https://dl.acm.org/doi/1..