PhD in Computer Science
Swiss Federal Institute of Technology, Lausanne (EPFL), 2020
Comprehending Monoids with Class
Conference paper
Implementing path-dependent GADT reasoning for Scala 3
Conference paper
Finally, a polymorphic linear algebra language
Conference paper
Towards improved GADT reasoning in Scala
Conference paper
Unifying analytic and statically-typed quasiquotes
Article
Extended Abstract: Comprehending Monoids with Class
Conference paper
Quoted staged rewriting: A practical approach to library-defined optimizations
Conference paper
Squid: Type-safe, hygienic, and reusable quasiquotes
Conference paper
How to Architect a Query Compiler
Conference paper
Quoted staged rewriting: A practical approach to library-defined optimizations
Conference paper
Squid: Type-safe, hygienic, and reusable quasiquotes
Conference paper
How to Architect a Query Compiler
Conference paper
No Publications |
No Publications |
COMP4901U | Modern Compiler Construction |
COMP4981 | Final Year Project |
UROP2100I | Undergraduate Research Opportunities Series 2 |
COMP3031 | Principles of Programming Languages |
COMP4981 | Final Year Project |
UROP1100H | Undergraduate Research Opportunities Series 1 |
COMP4981 | Final Year Project |
UROP1000 | Undergraduate Research Opportunities |
UROP1100G | Undergraduate Research Opportunities Series 1 |
COMP4981 | Final Year Project |
COMP6613E | Theory of Types and Programming Languages |
CPEG4901 | Computer Engineering Final Year Project in COMP |
UROP1100F | Undergraduate Research Opportunities Series 1 |
No Teaching Assignments |
No Teaching Assignments |
CHEN, Yijia
Computer Science and Engineering
LAM, Chun Kit
(co-supervision)
Computer Science and Engineering
CHENG, Luyu
Computer Science and Engineering
GAO, Cunyuan
Computer Science and Engineering
BHANUKA, Ishan
Computer Science and Engineering
FAN, Andong
Computer Science and Engineering
CHAU, Chun Yin
Computer Science and Engineering
Update your browser to view this website correctly. Update your browser now