Type-safe Bidirectional Channels in Idris 2

Activity: Talk or presentation types › Oral presentation

Period9 Jun 2025 → 13 Jun 2025
Event title31st Conference on Types for Proofs and Programs
Event typeConference
Conference number31
LocationGlasgow, United KingdomShow on map
Degree of RecognitionInternational