
Dmitry Soshnikov
MAI / NRU HSE
If you have a ticket, log in to watch the video
LoginDmitry 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.
MAI / NRU HSE