Dmytro Mitin, profile picture

Dmytro Mitin

Sort by
Boolean type
Introduction to programming with dependent types in Scala
Sigma type
Eliminators into dependent types
Type-level programming
Type classes
Interpolation