https://www.yeejian.dev/posts/2025/03/mpri/ 2025-03-21T00:00:00+01:00 https://www.yeejian.dev/ https://www.yeejian.dev/archive-layout-with-content/ https://www.yeejian.dev/categories/ https://www.yeejian.dev/collection-archive/ https://www.yeejian.dev/cv-json/ https://www.yeejian.dev/misc https://www.yeejian.dev/markdown/ https://www.yeejian.dev/music https://www.yeejian.dev/non-menu-page/ https://www.yeejian.dev/page-archive/ https://www.yeejian.dev/portfolio/ https://www.yeejian.dev/publications/ https://www.yeejian.dev/sitemap/ https://www.yeejian.dev/tags/ https://www.yeejian.dev/talkmap.html https://www.yeejian.dev/talks/ https://www.yeejian.dev/teaching/ https://www.yeejian.dev/year-archive/ https://www.yeejian.dev/files/240603-reciprog-slides.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/files/240827-report.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/files/240827-slides.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/files/240914-coqws-abstract.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/files/240914-coqws-extended-abstract.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/files/240914-coqws-slides.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/files/250613-types-slides.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/files/250820-m2-thesis.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/files/250902-m2-slides.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/files/XFC4101.Final.Presentation.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/files/XFC4101.Final.Report.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/files/cv.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/files/inf575-slides.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/files/m1-project-report.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/files/m1-project-slides.pdf 2025-11-03T12:30:59+01:00 https://www.yeejian.dev/talkmap/map.html 2025-11-03T12:30:59+01:00