Stepik

Introduction to programming with dependent types in Scala (Stepik)

Offered by Taras Shevchenko National University of Kyiv,

This course is an introduction to type theory, homotopy type theory (HoTT), dependent-type programming, type-level programming, and theorem proving using Scala.

This course is an introduction to type theory, homotopy type theory (HoTT), dependent-type programming, type-level programming, and theorem proving using Scala. The course consists of video lectures (more than 8 hours of video), presentations (more than 130 slides), and more than 50 programming exercises (some in pure Scala -- to be tested online, and some in Scala + ProvingGround library from Github -- to be performed in local computer and tested online). The course is adaptive: student can press button "Continue" and system will try to recommend next exercise for this student.

The course is for people who are interested in functional programming (Scala, Haskell), programming with dependent types (Idris), type-level programming (Shapeless).

Go to Class

MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

Related Courses

Coursera

École Polytechnique Fédérale de Lausanne

Introduction à la programmation orientée objet (en Java) (Coursera)

CS: Programming

Ce cours introduit la programmation orientée objet (encapsulation, abstration, héritage, polymorphisme) en l'illustrant en langage Java. Il présuppose connues les bases de la programmation (variables, types, boucles, fonctions, ...). Il est conçu comme la suite du cours « Initiation à la programmation (en Java) ».

Aug 16th 2026

5-12 Weeks

Programming Java Object-Oriented

Coursera

Universidade de São Paulo, Brasil

Introdução à Ciência da Computação com Python Parte 1 (Coursera)

CS: Software Engineering CS: Programming

Bem vindo ao curso de Introdução à Ciência da Computação destinado aos alunos regulares da Universidade de São Paulo e a todos os demais interessados em aprender não só a programar em Python mas também os conceitos básicos da Ciência Computação!

Aug 10th 2026

5-12 Weeks

Programming Python Computer Science

Stepik

Instructor Made Course

Python. Functional Programming (Stepik)

CS: Software Engineering CS: Programming

The course is about functional elements available in Python and their usage. Functional programming is a programming paradigm -- that is, a style of building the structure and elements of computer programs in some distinct way.

Self Paced

Self-Paced

Programming Python Software Engineering

Stepik

Instructor Made Course

Java. Functional programming (Stepik)

CS: Software Engineering CS: Programming

The course introduces elements of functional programming in Java 8. After completing this course, you should have a basic understanding of lambda expressions, functional interfaces, stream API, lazy evaluation, currying and monads.

Self Paced

Self-Paced

Programming Java Software Engineering

Coursera

Rice University

An Introduction to Interactive Programming in Python (Part 2) (Coursera)

CS: Software Engineering CS: Programming

This two-part course is designed to help students with very little or no computing background learn the basics of building simple interactive applications. Our language of choice, Python, is an easy-to learn, high-level computer language that is used in many of the computational courses offered on Coursera. To make learning Python easy, we have developed a new browser-based programming environment that makes developing interactive applications in Python simple.

Aug 10th 2026

4 Weeks

Game Programming Python

Coursera

Rice University

Principles of Computing (Part 1) (Coursera)

CS: Software Engineering

This two-part course builds upon the programming skills that you learned in our Introduction to Interactive Programming in Python course. We will augment those skills with both important programming practices and critical mathematical problem solving skills. These skills underlie larger scale computational problem solving and programming.

Aug 10th 2026

5-12 Weeks

Programming Python Probability

Coursera

École Polytechnique Fédérale de Lausanne

Functional Programming Principles in Scala (Scala 2 version) (Coursera)

CS: Software Engineering

Functional programming is becoming increasingly widespread in industry. This trend is driven by the adoption of Scala as the main programming language for many applications. Scala fuses functional and object-oriented programming in a practical package. It interoperates seamlessly with both Java and Javascript. Scala is the implementation language of many important frameworks, including Apache Spark, Kafka, and Akka. It provides the core infrastructure for sites such as Twitter, Tumblr and also Coursera.

Aug 10th 2026

5-12 Weeks

Scala Recursion Functional Programming

Coursera

Universidad Nacional Autónoma de México

Introducción a Java (Coursera)

CS: Programming

Me llamo Elisa Viso y una de mis pasiones es la de programar y enseñar a programar. El lenguaje Java es uno de los que más me ha gustado en mis 45 años que llevo programando. Si bien te podrá parecer un poco complicado empezar a programar en Java, una vez que cubras los conceptos básicos verás qué rápido se avanza. Java, como todos los lenguajes de programación bien hechos, te dejan hacer cualquier cosa (algunas de ellas con más trabajo que en otros lenguajes y otras casi directamente de cómo piensas la solución al problema).

Aug 10th 2026

5-12 Weeks

Programming Java Java Programming

Coursera

University of California, Santa Cruz

C++ For C Programmers, Part B (Coursera)

CS: Software Engineering CS: Programming

This course is for experienced C programmers who want to program in C++. The examples and exercises require a basic understanding of algorithms and object-oriented software.

Aug 10th 2026

5-12 Weeks

Programming Algorithms C++

Coursera

Universidade Estadual de Campinas - UNICAMP

Introdução ao Desenvolvimento de Aplicativos Android (Coursera)

Computer Science

Este curso tem como objetivo propiciar um primeiro contato com a Programação para Dispositivos Móveis que operam na plataforma Android. O Android Studio será utilizado como ambiente de desenvolvimento desde o início do curso e você receberá dicas de como obter ajuda quando alguma tarefa estiver consumindo mais tempo do que o necessário. Ao solucionar problemas por conta própria, você irá adquirir a autonomia necessária para concluir projetos de programação.

Aug 10th 2026

5-12 Weeks

Programming Android Mobile Devices

Coursera

Duke University

Programming Fundamentals (Coursera)

CS: Theory CS: Programming

Programming is an increasingly important skill, whether you aspire to a career in software development, or in other fields. This course is the first in the specialization Introduction to Programming in C, but its lessons extend to any language you might want to learn. This is because programming is fundamentally about figuring out how to solve a class of problems and writing the algorithm, a clear set of steps to solve any problem in its class.

Aug 10th 2026

4 Weeks

Programming Algorithms C Language

Coursera

Princeton University

Computer Science: Algorithms, Theory, and Machines (Coursera)

Computer Science

This course introduces the broader discipline of computer science to people having basic familiarity with Java programming. It covers the second half of our book Computer Science: An Interdisciplinary Approach (the first half is covered in our Coursera course Computer Science: Programming with a Purpose, to be released in the fall of 2018). Our intent is to demystify computation and to build awareness about the substantial intellectual underpinnings and rich history of the field of computer science.

Aug 10th 2026

5-12 Weeks

Programming Computing Algorithms