Luyu Cheng

👋 Hi, there!

I'm Luyu Cheng, a PhD candidate in Computer Science at the Hong Kong University of Science and Technology. My supervisor is Lionel Parreaux. My research interests lies in functional programming and programming language design.

I have developed several features for MLscript, an object-oriented and functional programming language founded and lead by Lionel Parreaux. MLscript supports records, generic classes, mix-in traits, first-class unions and intersections, instance matching, and most importantly, ML-style principal type inference.

Before that, I was a research assistant at Shandong University, where I worked on improving approximation algorithms for stream curve query. I also worked on an experimental project on the design of a domain-specific language for interactive data visualization.

Publications

So far, I have only a few publications. But I am working on projects on MLscript, and I hope to publish some papers in 2024. Stay tuned!

About this website

The website is built during my study of React Server Components. This website is built with Next.js. It is hosted on Vercel, and the source code is available on GitHub. The website makes use of Tailwind CSS for styling, shadcn for components, and supabase for database and authentication.