You are not logged in |
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.
