https://dominik-klumpp.net/cv/ 2025-08-14T17:44:33+00:00 https://dominik-klumpp.net/ 2026-04-29T09:14:03+00:00 https://dominik-klumpp.net/publications/ 2026-04-29T08:35:57+00:00 https://dominik-klumpp.net/talks/ 2026-04-29T09:11:13+00:00 https://dominik-klumpp.net/teaching/ 2026-04-12T07:07:09+00:00 https://dominik-klumpp.net/publications/nmr24/extended.pdf 2026-04-29T09:14:23+00:00 https://dominik-klumpp.net/publications/popl24/extended.pdf 2026-04-29T09:14:23+00:00 https://dominik-klumpp.net/resources/cv.pdf 2026-04-29T09:14:23+00:00 https://dominik-klumpp.net/resources/publications.pdf 2026-04-29T09:14:23+00:00