Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Mu, Shin-Cheng - Institute of Information Science, Academia Sinica (Taiwan)
ZU064-05-FPR aopa 30 January 2009 22:39 Under consideration for publication in J. Functional Programming 1
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion
Supplymentary Proofs for the Paper Functional Pearl: Maximally Dense Segments
Higher-Order and Symbolic Computation, 1, 131 (2006) c 2006 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
Under consideration for publication in J. Functional Programming 1 A case study in origami programming
Coq, a Proof Assistant Based On Type Theory
Functional Quantum Programming ShinCheng Mu Richard Bird
XML Stream Processing Using a Lazy Concurrent Language Shin-Cheng Mu and Ta-Chung Tsai
Theory and Applications of Inverting Functions as Folds
A Language for Bidirectional Updating Based on Injective Mapping Shin-Cheng Mu Zhenjiang Hu Masato Takeichi
A Pushdown Machine for Recursive XML Keisuke Nakano1
Programming from Galois Connections Shin-Cheng Mu1
Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARLS
A Grammar-Based Approach to Invertible Programs
Algebra of Programming using Dependent Types Shin-Cheng Mu1
Maximum Segment Sum is Back Deriving Algorithms for Two Segment Problems with Bounded Lengths
An Algebraic Approach to Bi-directional Updating Shin-Cheng Mu, Zhenjiang Hu, and Masato Takeichi
A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations
An Injective Language for Reversible Computation Shin-Cheng Mu, Zhenjiang Hu, and Masato Takeichi
Theory and Applications of Inverting Functions as Folds
Programming from Galois Connections --Principles and Applications
On Building Trees with Minimum Height, Relationally
Maximum Segment Sum is Back Deriving Algorithms for Two Segment Problems with Bounded Lengths
A Calculational Approach to Program Inversion Shin-Cheng Mu
Inverting Functions as Folds Shin-Cheng Mu and Richard Bird
Under consideration for publication in J. Functional Programming 1 FUNCT I ONAL PEARLS
from Signals to Symphonies For more infomation: http://www.iis.sinica.edu.tw/
Bidirectionalising HaXML Shin-Cheng Mu Zhenjiang Hu Masato Takeichi
Optimisation problems in logic programming: an algebraic approach
A Calculational Approach to Program Inversion ShinCheng Mu
Functional Pearl: Maximally Dense Segments Sharon Curtis
Constructing Datatype-Generic Fully Polynomial-Time Approximation Schemes Using Generalised Thinning
Generalising and Dualising the Third List-Homomorphism Theorem
Constructing List Homomorphisms from Proofs Yun-Yan Chi and Shin-Cheng Mu