Dmitry Soshnikov
Company: MAI / NRU HSE
Dmitry will talk about formal basics of functional programming and two mathematical theories underlying this approach: lambda-calculus and category theory. Examples in the talk will be in F# language.
Company: MAI / NRU HSE