Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
Notes on CPS Transformation
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.
Effect Handlers - 01 : Basics & Examples
Published:
These short notes summarise my own initial exploration of effect handlers, as a
Thoughts of Second Year: A Post-Exam Perspective
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
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.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
Paper Title Number 1
Published in Journal 1, 2009
This paper is about the number 1. The number 2 is left for future work.
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1). http://academicpages.github.io/files/paper1.pdf
Paper Title Number 2
Published in Journal 1, 2010
This paper is about the number 2. The number 3 is left for future work.
Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2). http://academicpages.github.io/files/paper2.pdf
Paper Title Number 3
Published in Journal 1, 2015
This paper is about the number 3. The number 4 is left for future work.
Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3). http://academicpages.github.io/files/paper3.pdf
Paper Title Number 4
Published in GitHub Journal of Bugs, 2024
This paper is about fixing template issue #693.
Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3). http://academicpages.github.io/files/paper3.pdf
talks
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.