PhD in Computer Science
Swiss Federal Institute of Technology, Lausanne (EPFL), 2020
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning
Article
MLstruct: principal type inference in a Boolean algebra of structural types
Article
The Ultimate Conditional Syntax
Conference paper
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
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning
MLstruct: principal type inference in a Boolean algebra of structural types
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 |
COMP3031 | Principles of Programming Languages |
COMP4971A | Independent Work |
COMP4981 | Final Year Project |
COMP4981H | Final Year Thesis |
COMP4971A | Independent Work |
COMP4981 | Final Year Project |
COMP4981H | Final Year Thesis |
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 |
No Teaching Assignments |
CHAU, Chun Yin
Computer Science and Engineering
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
YANG, Ruqing
Computer Science and Engineering
BHANUKA, Ishan
Computer Science and Engineering
FAN, Andong
Computer Science and Engineering
Update your browser to view this website correctly. Update your browser now