On this page:
Guannan’s Blog
Sept 4, 2023

Guannan’s Blog

    Simulating Quantum Circuits in Feynman-Style using Higher-Order Functions


    Building an Abstract Interpreter in Scala 3


    Notes on Algebraic Structures

    Notes on Universal Algebra


    Notes on Topology

    A Soundness Proof of STLC by Definitional Interpreters in Agda

    Strong Normalization of STLC

    A Regular Expression Matcher in CPS

    Notes on Abstract Interpretation