Contributions

Article
Massive Open Online Course "Introduction to programming with dependent types in Scala (2018)"
This is updated version of the course https://stepik.org/course/2294 participated in Stepik contest for the best MOOC in 2017. The course took a prize then. More than 2300 learners registered for the course since then. Now videos and programming assignments in the course are updated. Currently there are 89 assignments (including new ones). All assignments are run online at server (Scala + Shapeless + ProvingGround).