The book of abstracts can be downloaded here: TYPES 2025 Abstracts. Individual abstracts are also linked from the list of accepted talks.