Recent Posts
-
A Note on LLVMA reading note of LLVM Core Libraries book
-
Theory of Abstract InterpretationA note on Cousot POPL'77 Foundational Paper.
-
An Abstract Interpretor Based on Compositional SemanticsA study note on Rival's Textbook.
-
WSL -- File System, Networking, ConfigurationMy story with Linux subsystem.
-
Simply Typed Lambda-CalculusA small yet powerful language
-
Small-Step Operational SemanticsFinding the meaning of a program