Not registered as user yet

Name: Shin-Cheng Mu

Affiliation: Academia Sinica, Taiwan

Personal website: http://www.iis.sinica.edu.tw/~scm/

ICFP 2017 Activities

• Author of Type safe Redis queries -- a case study of type-level programming in Haskell within the TyDe 2017-track in TyDe 2017
• Show activities from other conferences