bishboria

SPLS talk

I gave a talk on the joint work done with my supervisor on Normalization from a bidirectional typechecking perspective at the Scottish Programming Languages Seminar, on Thursday 11th October. PDF slides are on github: SPLS-talk.pdf