Customize your search:

E.g., 2017-06-10
E.g., 2017-06-10
E.g., 2017-06-10
Self Paced

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

Average: 10 (3 votes)
Sep 19th 2016

Get an introduction to Haskell, the increasingly popular functional programming language, with this University of Glasgow course. Do you want to develop software using the latest programming language paradigm? Haskell is a functional programming language, based on formal mathematical principles. As such, it is easy to reason about and develop, and it executes efficiently on modern multicore machines. From investment banks to social networks, everyone is adopting Haskell.

Average: 10 (1 vote)
Oct 15th 2015

The aim of this course is to teach the foundations of functional programming and how to apply them in the real world.

Average: 8 (1 vote)