Skip to main content
Department of Information Technology

PhD Courses in Programming Languages

Introduction to Programming Language Research (5hp)

This course covers advanced topics in programming language design, implementation and theory. Topics include, but are not limited to, type systems, program logics, dataflow analysis, probabilistic programming, benchmarking and empiric studies.

The course will be based on introductory lectures and reading of recent and classic papers in the above topics. The recommended prerequisites include a course on basic logic and a basic compilers course. An understanding of structural operational semantics will also be helpful. Please let us know if you are interested in the course but do not fulfill the prerequisites.

The class will be run like a conference programming committee: Students will be required to read and review a number of papers, read the reviews other students have prepared, and discuss/debate the merits and contributions of the papers read.

Assessment: Reviews and in-class participation.

Updated  2022-01-28 08:51:20 by Elias Castegren.