Book of abstracts

The collected abstracts of TYPES 2027.

to be announced

The book of abstracts is published here before the conference and stays available afterwards.

The book collects the two-page abstracts of all accepted contributions, and is distributed to participants. Individual abstracts are linked from the accepted talks page.