Dmitry Soshnikov
MAI / NRU HSE
Introduction to Functional Programming Theory With Examples in F#
In Russian
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.
Speakers
Other talks on «Расширяем горизонты»
- Watch recording
- Watch recording
- Watch recording
B-tree Indexes in Databases Using .NET Entity Framework and PostgreSQL as Examples
Vladimir Sitnikov
PostgreSQL JDBC maintainer
- Watch recording
- Watch recording
- Watch recording
Reflections on the Edge of the Technological Singularity
Stanislav Sidristij
Speech Technology Center
- Watch recording
