Chun Kit Lam

A New Approach to Optimal Function Inlining for Code Size Minimization via E-graphs

Minimizing code size is a central problem in compiler optimization, especially in the context of embedded systems and mobile applications. One of the classical optimizations that has recently been adopted to reduce the output code size is function inlining, i.e. repeatedly replac...

First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination

We study a first-class treatment of constrained types, which were previously confined mostly to ML-style polymorphism. We define System FCCT, an extension of System F with polymorphic subtyping and constraint abstraction in types. A value of type c ⇒ τ can be used at type τ in an...