Prelegent: Aleksy Schubert

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.