https://dominik-klumpp.net/cv/ 2025-08-14T17:44:33+00:00 https://dominik-klumpp.net/ 2025-11-23T09:55:34+00:00 https://dominik-klumpp.net/publications/ 2026-02-25T15:03:45+00:00 https://dominik-klumpp.net/talks/ 2026-01-05T12:04:08+00:00 https://dominik-klumpp.net/teaching/ 2025-07-16T09:27:38+00:00 https://dominik-klumpp.net/publications/nmr24/extended.pdf 2026-02-25T15:04:00+00:00 https://dominik-klumpp.net/publications/popl24/extended.pdf 2026-02-25T15:04:00+00:00 https://dominik-klumpp.net/resources/cv.pdf 2026-02-25T15:04:00+00:00 https://dominik-klumpp.net/resources/publications.pdf 2026-02-25T15:04:00+00:00