I had a fun time writing the openQASM parser over two years ago during my two week visit at UMD College Park. Since then, I have been quite fascinated with parsers.

Type and Effect Systems How can we reason about the effects of a program without using monads or uniqueness types? An effect describes how an expression computes. Denoted by $\varphi$ annotation in the statics of the language.