On this page:
Guannan Wei | Blog

Guannan Wei | Blog

    A Soundness Proof of STLC by Definitional Interpreters in Agda

    Strong Normalization of STLC

    A Regular Expression Matcher in CPS

    Notes on Abstract Interpretation