Effect Handlers - 01 : Basics & Examples
Published:
These short notes summarise my own initial exploration of effect handlers, as a
Posts by Tags
Effects
Functional Programming
Effect Handlers - 01 : Basics & Examples
Published:
These short notes summarise my own initial exploration of effect handlers, as a
Imperial
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.
LLVM
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.
Notes
Effect Handlers - 01 : Basics & Examples
Published:
These short notes summarise my own initial exploration of effect handlers, as a
OCaml
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.
Programming Languages
Effect Handlers - 01 : Basics & Examples
Published:
These short notes summarise my own initial exploration of effect handlers, as a
Rust
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.
WACC
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.
compiler
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.
courses
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.
coursework
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.
functional programming
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.
in progress
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.
plan
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.