Shin-Cheng Mu -

Registered user since Thu 5 Aug 2021

Name:Shin-Cheng Mu

Country:Taiwan

Affiliation:Academia Sinica, Taiwan

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

Research interests:functional programming, programming languages

Contributions

ICFP 2022	Steering Committee Member in Steering Committee
FLOPS 2022	Session Chair of Session 5: Invited Talk (part of FLOPS 2022) Committee Member in Program Committee within the FLOPS 2022-track
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