Concepedia

Shin-Cheng Mu

SM

9

Publications

293

Citations

9

H-Index

2001

Active since

Affiliations

Academia Sinica(Current)

Institute of Information Science, Academia Sinica

The University of Tokyo

Oxford Research Group

National Taiwan University

Shin-Cheng Mu is an author at Academia Sinica specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningDesignSyntaxLanguageLinguisticsData ModelingFormal MethodsSoftware Design

Publications per year

2001–2015

9

Publications

9

A programmable editor for developing structured documents based on bidirectional transformations

Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi · 2004 · 108 citations

Programmable Editor, Engineering, Structured Data +24

A programmable editor for developing structured documents based on bidirectional transformations

Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi · LISP and Symbolic Computation · 2008 · 50 citations

Programmable Editor, Engineering, Structured Data +17

Algebra of programming in Agda: Dependent types for relational program derivation

Shin-Cheng Mu, Hsiang−Shang Ko, Patrik Jansson · Journal of Functional Programming · 2009 · 34 citations · Full text

Dependent Types, Engineering, Generic Programming +13

Functional Quantum Programming

Shin-Cheng Mu, Richard Bird · Oxford University Research Archive (ORA) (University of Oxford) · 2001 · 31 citations · Full text

Programming from Galois connections

Shin-Cheng Mu, José N. Oliveira · The Journal of Logic and Algebraic Programming · 2012 · 25 citations · Full text

Mathematical Programming, Engineering, Automated Reasoning +5

Rows per page

1–5 of 9