Dmytro Mitin

Sort by

Latest

Most popular

Boolean type

Introduction to programming with dependent types in Scala

Sigma type

Eliminators into dependent types

Type-level programming

Type classes

Interpolation