https://dominik-klumpp.net/cv/ 2025-08-14T17:44:33+00:00 https://dominik-klumpp.net/ 2026-04-12T07:06:53+00:00 https://dominik-klumpp.net/publications/ 2026-04-12T07:06:24+00:00 https://dominik-klumpp.net/talks/ 2026-01-05T12:04:08+00:00 https://dominik-klumpp.net/teaching/ 2026-04-12T07:07:09+00:00 https://dominik-klumpp.net/publications/nmr24/extended.pdf 2026-04-12T07:07:28+00:00 https://dominik-klumpp.net/publications/popl24/extended.pdf 2026-04-12T07:07:28+00:00 https://dominik-klumpp.net/resources/cv.pdf 2026-04-12T07:07:28+00:00 https://dominik-klumpp.net/resources/publications.pdf 2026-04-12T07:07:28+00:00