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

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

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.

Oct 5th 2026

5-12 Weeks

Programming Android Mobile Devices

Coursera

Board Infinity

Ajax Basics (Coursera)

CS: Software Engineering

This Ajax Basics course is designed for beginners who want to learn how to build web applications that dynamically update content without reloading the entire page. In this course, you will learn the fundamentals of Ajax, including its features, advantages, and common usage scenarios.

Oct 5th 2026

3 Weeks

Programming Javascript XML

Stepik

Open Source and Linux Lab - OSLL

Applied Computer Science. Git (Stepik)

CS: Software Engineering CS: Programming

The course describes most frequently used git commands from real-world workflows.

Self-paced

Self-Paced

Programming Software Engineering Git

Coursera

Rice University

Algorithmic Thinking (Part 2) (Coursera)

CS: Theory

Experienced Computer Scientists analyze and solve computational problems at a level of abstraction that is beyond that of any particular programming language. This two-part class is designed to train students in the mathematical concepts and process of "Algorithmic Thinking", allowing them to build simpler, more efficient solutions to computational problems.

Oct 5th 2026

4 Weeks

Python Computing Algorithms

Coursera

Rice University

Algorithmic Thinking (Part 1) (Coursera)

CS: Theory

Oct 5th 2026

4 Weeks

Python Computing Algorithms

Coursera

University of London,Goldsmiths, University of London

Foundations of Data Science: K-Means Clustering in Python (Coursera)

Data Science

This MOOC, designed by an academic team from Goldsmiths, University of London, will quickly introduce you to the core concepts of Data Science to prepare you for intermediate and advanced Data Science courses. It focuses on the basic mathematics, statistics and programming skills that are necessary for typical data analysis tasks.

Oct 5th 2026

5-12 Weeks

Programming Python Machine Learning

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.

Oct 5th 2026

5-12 Weeks

Programming Algorithms C++

Stepik

JetBrains

Adaptive Java (Stepik)

CS: Software Engineering CS: Programming

Adaptive problem set to learn Java. Join the course and you can try out the first prototype of the adaptive engine! **This course is adaptive: it will adjust according to your skill.**

Self-paced

Self-Paced

Programming Java Software Engineering

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!

Oct 5th 2026

5-12 Weeks

Programming Python Computer Science

Coursera

University of Michigan

Uso de Python para Acceder a Datos Web (Coursera)

CS: Programming Computer Science

En este curso, aprenderás cómo la Internet se puede convertir en una fuente de datos. Para esto, rasparemos, analizaremos y leeremos los datos web y también accederemos datos mediante APIs web. Trabajaremos con formatos de datos HTML, XML y JSON en Python.

Oct 5th 2026

5-12 Weeks

Programming Python HTML

Stepik

Instructor Made Course

JavaScript for Beginners (Stepik)

CS: Software Engineering CS: Programming

This course covers the basics of programming in JavaScript, as well as some of the tools and data models that are necessary for the practical use of JavaScript.

Self Paced

Self-Paced

Programming Javascript Software Engineering