https://ianshil.github.io/publication/2016Masters/ 2016-01-01T00:00:00+00:00 https://ianshil.github.io/publication/2017Masters/ 2017-01-01T00:00:00+00:00 https://ianshil.github.io/publication/2020Types/ 2020-03-01T00:00:00+00:00 https://ianshil.github.io/publication/2020Topologic/ 2020-03-11T00:00:00+00:00 https://ianshil.github.io/publication/2020biintraj/ 2020-09-01T00:00:00+00:00 https://ianshil.github.io/publication/2021CEGL/ 2021-08-30T00:00:00+00:00 https://ianshil.github.io/publication/2022AAL/ 2022-01-01T00:00:00+00:00 https://ianshil.github.io/publication/2022CEiGL/ 2022-08-25T00:00:00+00:00 https://ianshil.github.io/publication/2023ALCCompact/ 2023-01-01T00:00:00+00:00 https://ianshil.github.io/publication/2023ALCNoncompact/ 2023-01-01T00:00:00+00:00 https://ianshil.github.io/publication/2023ALCReverse/ 2023-01-01T00:00:00+00:00 https://ianshil.github.io/publication/2023PhD/ 2023-06-09T00:00:00+00:00 https://ianshil.github.io/publication/2023iSL/ 2023-09-14T00:00:00+00:00 https://ianshil.github.io/publication/2024CPP/ 2024-01-09T00:00:00+00:00 https://ianshil.github.io/publication/2024UIML/ 2024-07-02T00:00:00+00:00 https://ianshil.github.io/publication/2024iS4Top/ 2024-08-06T00:00:00+00:00 https://ianshil.github.io/publication/2025KMAbstract/ 2025-01-01T00:00:00+00:00 https://ianshil.github.io/publication/2025TYPES/ 2025-01-01T00:00:00+00:00 https://ianshil.github.io/publication/2025CSLcompl/ 2025-02-03T00:00:00+00:00 https://ianshil.github.io/publication/2025CSLseq/ 2025-02-03T00:00:00+00:00 https://ianshil.github.io/publication/2025LICS/ 2025-06-23T00:00:00+00:00 https://ianshil.github.io/publication/2026Duality/ 2026-01-01T00:00:00+00:00 https://ianshil.github.io/publication/2026Justification/ 2026-06-29T00:00:00+00:00 https://ianshil.github.io/publication/2026Diamond/ 2026-07-24T00:00:00+00:00 https://ianshil.github.io/publication/2026KM/ 2026-07-24T00:00:00+00:00 https://ianshil.github.io/ https://ianshil.github.io/categories/ https://ianshil.github.io/cv/ https://ianshil.github.io/publications/ https://ianshil.github.io/sitemap/ https://ianshil.github.io/tags/ https://ianshil.github.io/talks/ https://ianshil.github.io/teaching/ https://ianshil.github.io/year-archive/ https://ianshil.github.io/files/paper1.pdf 2026-09-13T22:52:04+00:00 https://ianshil.github.io/files/paper2.pdf 2026-09-13T22:52:04+00:00 https://ianshil.github.io/files/paper3.pdf 2026-09-13T22:52:04+00:00 https://ianshil.github.io/files/slides1.pdf 2026-09-13T22:52:04+00:00 https://ianshil.github.io/files/slides2.pdf 2026-09-13T22:52:04+00:00 https://ianshil.github.io/files/slides3.pdf 2026-09-13T22:52:04+00:00