Shin-Cheng Mu (1) ((1) Institute of Information Science

Identifiers

No identifiers captured yet.

Papers (1)

1. Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell cs.PL · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Academia Sinica 1 shared papers
• Taiwan) 1 shared papers
• Ting-Yan Lai (1) 1 shared papers
• Tyng-Ruey Chuang (1) 1 shared papers