Overview of network protocol implementations in functional programming languages

Speaker(s)

Aleksy Schubert

Affiliation

MIMUW

Date

March 31, 2023, 12:15 p.m.

Room

room 5820

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

---