Research

I am a Ph.D. student in the PLSE group at the University of Toronto, working with Prof. Ningning Xie.

I am interested in programming languages, logic, and type theory. I enjoy exploring the connections between these areas, and applying the techniques for precise program modeling.

My current research focuses on modal type theory and its use in typed meta-programming.

Talks

• MacoCaml: Combining Macros and Module Functors.
  Jane Street Programming Language Colloquium 2023

Publications

• Longest segment of balanced parentheses: an exercise in program inversion in a segment problem.
  Shin-Cheng Mu and Tsung-Ju Chiang
  JFP 2021 [doi] [arXiv]

• Declarative Pearl: Deriving Monadic Quicksort.
  Shin-Cheng Mu and Tsung-Ju Chiang
  FLOPS 2020 [doi] [arXiv]