All eventsWorkshopTyDe’26International Workshop on Type-Driven DevelopmentParis, France·August 26 – 27, 2026TypesFunctional ProgrammingStar this eventAdd to calendarDates & DeadlinesOfficial pagePaperJun 3passedAbstractJun 24passedNotificationJul 1012dCamera-readyJul 172wCo-located withICFPInternational Conference on Functional ProgrammingAug 24 – 29, 2026Indianapolis, United StatesLast updated May 17, 2026