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.

---