conf.researchr.org / Shin-Cheng Mu

Not registered as user yet

Name: Shin-Cheng Mu

Affiliation: Academia Sinica, Taiwan

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

Contributions

Haskell 2020 Committee Member in Program Committee within the Haskell 2020-track
ICFP 2021 Committee Member in Steering Committee
APLAS 2019 Committee Member in Steering Committee
TyDe 2018 Committee Member in Program Committee within the TyDe 2018-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
TyDe 2017 Author of Type safe Redis queries -- a case study of type-level programming in Haskell within the TyDe 2017-track
ICFP 2016 Author of Queueing and Glueing for Optimal Partitioning (Functional Pearl) within the Research Papers-track
PEPM 2016 Committee Member in Program Committee within the PEPM-track
PEPM 2015 Committee Member in Steering Committee within the PEPM 2015-track