ºÝºÝߣ

ºÝºÝߣShare a Scribd company logo
DmytroMitin1

Dmytro Mitin

7 ºÝºÝߣShares28 Followers65 Followings
7 ºÝºÝߣShares28 Followers65 Followings
Personal Information
Organization / Workplace
Ukraine Ukraine
Occupation
Assistant Professor at Kyiv National Taras Shevchenko University
Industry
Education
Website
http://dmitin.pochta.ru
Contact Details

Presentations(7)Ìý

See all
Boolean type
Boolean typeBoolean type
Boolean type
Ìý
Introduction to programming with dependent types in Scala
Introduction to programming with dependent types in ScalaIntroduction to programming with dependent types in Scala
Introduction to programming with dependent types in Scala
Ìý
Sigma type
Sigma typeSigma type
Sigma type
Ìý