Idris

Sort options

Introduction to programming with dependent types in Scala (Stepik)

Self Paced
Introduction to programming with dependent types in Scala (Stepik)
Free Course
Stepik
Taras Shevchenko National University of Kyiv
Categories
CS: Programming
CS: Software Engineering
Effort
Intermediate
Self-Paced
Self-Study
Languages
English
Introduction to programming with dependent types in Scala (Stepik)
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