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