I’m Luyu Cheng. I’m a PhD candidate at HKUST TACO supervised by Lionel Parreaux. I'm working on improving the expressiveness and efficiency of pattern matching of MLscript.

• Luyu Cheng and Lionel Parreaux. 2024. The Ultimate Conditional Syntax.
  Proc. ACM Program. Lang. 8, OOPSLA2, Article 306 (October 2024), 30 pages.
  🏆 Distinguished Paper Award • Artifacts • Online Web Demo • DOI • ACM Digital Library