In this seminar, I will present our ongoing work on a type-inference approach that views typing as a reduction process, drawing inspiration from operational semantics. I will illustrate this approach using the Simply Typed Lambda Calculus (STLC) and then discuss both the benefits and the challenges of extending it to richer type systems such as System F.

As the seminar rooms are still under maintenance, the session will be held online via Zoom:

Topic: HKUPLG Seminar
Time: Aug 20, 2025 10:00 AM Hong Kong SAR

Join Zoom Meeting
https://hku.zoom.us/j/7605530549?omn=91421231897

Meeting ID: 760 553 0549