Theory and Practice of Programming Languages (TPPL)

Programming languages (PL) are the basis of computing. We study what programs mean, in a very broad sense.

Research group

Updated Dec. 2023.

We are recruiting students at all levels (undergrad, MSc, PhD) for 2023. If you are interested in the kind of research we do, please get in touch (jd169 at queensu ca). To ensure that your message is read, please include the following in the subject line: TPPL.

Recent papers