Shin-Cheng Mu -

Registered user since Thu 5 Aug 2021

Name:Shin-Cheng Mu

Country:Taiwan

Affiliation:Academia Sinica, Taiwan

Personal website: https://homepage.iis.sinica.edu.tw/pages/scm/

Research interests:functional programming, programming languages

Contributions

2024

ICFP

PC Member in ICFP Papers and Events within the ICFP Papers and Events-track

2023

APLAS

ICFP

2022

ICFP

Steering Committee Member in Steering Committee

FLOPS

2021

ICFP

Committee Member in Steering Committee

2020

Haskell

Committee Member in Program Committee within the Haskell 2020-track

2019

APLAS

Committee Member in Steering Committee

ICFP

Committee Member in External Review Committee within the Research Papers-track

2018

TyDe

Committee Member in Program Committee within the TyDe 2018-track

2017

TyDe

Author of Type safe Redis queries -- a case study of type-level programming in Haskell within the TyDe 2017-track

2016

ICFP

Author of Queueing and Glueing for Optimal Partitioning (Functional Pearl) within the Research Papers-track

PEPM

Committee Member in Program Committee within the PEPM-track

2015

PEPM

Committee Member in Steering Committee within the PEPM 2015-track

	
		OSZAR »