About

Welcome to my blog Intermediate Representation (IR). The name indicates that the content of this blog is an intermediate representation of knowledge that I have compiled from books and papers. The corresponding object code is obviously the comprehension of the knowledge in readers’ mind :).

I am a student, programming for interest, Interested in code editor / programming language theory and type theory, loves animals (like snakes), and sports (football, swimming and yoyo).

Usually use ice1000, 千里冰封 or Tesla Ice Zhang as my ID.

You can meet me on:

You can contact me by:

You can subscribe this blog by:

Blog Policy

All the posts and blogs here are licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Generic License.

Friends