Search Results - MU, SHIN-CHENG

Refine Results
  1. 1
    Not by equations alone: Reasoning with extensible effects

    Not by equations alone: Reasoning with extensible effects by KISELYOV, OLEG, MU, SHIN-CHENG, SABRY, AMR

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    A greedy algorithm for dropping digits

    A greedy algorithm for dropping digits by BIRD, RICHARD, MU, SHIN-CHENG

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Longest segment of balanced parentheses: an exercise in program inversion in a segment problem

    Longest segment of balanced parentheses: an exercise in program inversion in a segment problem by MU, SHIN-CHENG, CHIANG, TSUNG-JU

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Bottom-up computation using trees of sublists

    Bottom-up computation using trees of sublists by MU, SHIN-CHENG

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Selected and extended papers from Partial Evaluation and Program Manipulation 2013

    Selected and extended papers from Partial Evaluation and Program Manipulation 2013 by Albert, Elvira, Mu, Shin-Cheng

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Algebra of programming in Agda: Dependent types for relational program derivation

    Algebra of programming in Agda: Dependent types for relational program derivation by MU, SHIN-CHENG, KO, HSIANG-SHANG, JANSSON, PATRIK

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Approximate by thinning: Deriving fully polynomial-time approximation schemes

    Approximate by thinning: Deriving fully polynomial-time approximation schemes by Mu, Shin-Cheng, Lyu, Yu-Han, Morihata, Akimasa

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Formal derivation of Greedy algorithms from relational specifications: A tutorial

    Formal derivation of Greedy algorithms from relational specifications: A tutorial by Chiang, Yu-Hsi, Mu, Shin-Cheng

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Calculating a linear-time solution to the densest-segment problem

    Calculating a linear-time solution to the densest-segment problem by CURTIS, SHARON, MU, SHIN-CHENG

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    Theory and applications of inverting functions as folds

    Theory and applications of inverting functions as folds by Mu, Shin-Cheng, Bird, Richard

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    A greedy algorithm for dropping digits (Functional Pearl)

    A greedy algorithm for dropping digits (Functional Pearl) by Bird, Richard, Shin-Cheng, Mu

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    A programmable editor for developing structured documents based on bidirectional transformations

    A programmable editor for developing structured documents based on bidirectional transformations by ZHENJIANG HU, MU, Shin-Cheng, TAKEICHI, Masato

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Longest segment of balanced parentheses -- an exercise in program inversion in a segment problem (Functional Pearl)

    Longest segment of balanced parentheses -- an exercise in program inversion in a segment problem (Functional Pearl) by Shin-Cheng, Mu, Tsung-Ju Chiang

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Deriving monadic quicksort (Declarative Pearl)

    Deriving monadic quicksort (Declarative Pearl) by Shin-Cheng, Mu, Tsung-Ju Chiang

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Programming from Galois connections

    Programming from Galois connections by Mu, Shin-Cheng, Oliveira, José Nuno

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Generalising and Dualising the Third List-Homomorphism Theorem: Functional Pearl

    Generalising and Dualising the Third List-Homomorphism Theorem: Functional Pearl by MU, Shin-Cheng, MORIHATA, Akimasa

    Published in ACM SIGPLAN notices
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Countdown: A case study in origami programming

    Countdown: A case study in origami programming by BIRD, RICHARD, MU, SHIN-CHENG

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Bottom-up computation using trees of sublists (Functional Pearl)

    Bottom-up computation using trees of sublists (Functional Pearl) by Shin-Cheng, Mu

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Calculating a backtracking algorithm: an exercise in monadic program derivation

    Calculating a backtracking algorithm: an exercise in monadic program derivation by Shin-Cheng, Mu

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Equational reasoning for non-determinism monad: the case of Spark aggregation

    Equational reasoning for non-determinism monad: the case of Spark aggregation by Shin-Cheng, Mu

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: