Yunkai Zhang

Yunkai Zhang

2nd Year Computer Science Undergraduate

Notes on CPS Transformation

less than 1 minute read

Published:

This is an introductory post on CPS (Continuation Passing Style), also acting as my personal review on the subject. I aim to provide an overview of CPS itself, its actual applications and behaviours from a more programming perspective, and link CPS to the Cont monad and CallCC control operators.

References

You May Also Enjoy

Thoughts of Second Year: A Post-Exam Perspective

less than 1 minute read

Published:

This is an article yet to complete, reflecting some of my thoughts of what I learnt for the second year as an undergraduate in computing here. Contents here may be constantly changing with the progression of systematic revision on the courses.

WACC and Beyond: Behind the Curtains of a Compiler

8 minute read

Published:

WACC (officially pronounced “whack”) is a simple variant of the While-like language family that appeared in a series of courses on program reasoning and verification at Imperial. The WACC Compiler project is one of the major group projects for the second year younglings in computing to overcome, and I am glad to say that we survived it with lots of fun and learning a lot.