Introduction to programming with dependent types in Scala (Stepik) Self Paced Free Course Stepik Taras Shevchenko National University of Kyiv Categories CS: Programming CS: Software Engineering Effort Intermediate Self-Paced Self-Study Languages English This course is an introduction to type theory, homotopy type theory (HoTT), dependent-type programming, type-level programming, and theorem proving using Scala. Shapeless Type-Level Programming Idris Haskell Computer Science Dependent Types Programming Functional Programming Scala View more details Self Paced Free Course Stepik Taras Shevchenko National University of Kyiv CS: Programming CS: Software Engineering Intermediate Self-Paced Self-Study English
