Nie jesteś zalogowany |
Overview of network protocol implementations in functional programming languages
- Prelegent(ci)
- Aleksy Schubert
- Afiliacja
- MIMUW
- Termin
- 31 marca 2023 12:15
- Pokój
- p. 5820
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
Network protocols are usually described as dynamic processes. This does not make a perfect match with functional programming paradigm. Still, there are many initiatives to implement software artifacts in functional programming languages. This talk makes an overview of such efforts in scientific context.
