Home Original page

chengluyu - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

@chengluyu

chengluyu

Follow

View chengluyu's full-sized avatar

😁

Working on a new project...

Luyu Cheng chengluyu

😁

Working on a new project...

Organizations

@hkust-taco

Block or report chengluyu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

chengluyu/README.md

👋 Hi, there!

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.

Publications

  • 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

Pinned Loading

  1. hkust-taco/mlscript hkust-taco/mlscript Public

    The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

    Scala 216 40

  2. RealKai42/qwerty-learner RealKai42/qwerty-learner Public

    为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers

    TypeScript 21.7k 2.4k

  3. microsoft/vscode microsoft/vscode Public

    Visual Studio Code

    TypeScript 183k 39k