Dmytro Mitin

28 Followers

7 SlideShares 28 Followers 65 Followings

scala mooc math algorithms

Activity
About

Interpolation

8 years ago • 1639 Views

Type classes

7 years ago • 98 Views

Type-level programming

7 years ago • 168 Views

Eliminators into dependent types

7 years ago • 292 Views

Sigma type

7 years ago • 303 Views

Introduction to programming with dependent types in Scala

7 years ago • 295 Views

Boolean type

5 years ago • 124 Views

Tofu и его окружение

Kirill Shelopugin • 4 years ago

Scala 3 Is Coming: Martin Odersky Shares What To Know

Lightbend • 4 years ago

Functional Effects - Part 1

Philip Schwarz • 4 years ago

Functional Effects - Part 2

Philip Schwarz • 4 years ago

Applicative Functor - Part 2

Philip Schwarz • 4 years ago

Applicative Functor - Part 3

Philip Schwarz • 4 years ago

Scalaz 8: A Whole New Game

John De Goes • 5 years ago

Papers We Love Kyiv, July 2018: A Conflict-Free Replicated JSON Datatype

Max Klymyshyn • 5 years ago

Papers We Love / Kyiv : PAXOS (and little about other consensuses )

Ruslan Shevchenko • 5 years ago

Scala / Technology evolution

Ruslan Shevchenko • 5 years ago

Practical type mining in Scala

Rose Toomey • 10 years ago

Preparing for Scala 3

Martin Odersky • 5 years ago

Functor Laws

Philip Schwarz • 6 years ago

Real World Java 9 - JetBrains Webinar

Trisha Gee • 6 years ago

Java 8 Default Methods

Haim Michael • 6 years ago

Spring Boot Ripper

Кирилл Толкачёв • 6 years ago

Joy of scala

Maxim Novak • 7 years ago

Let's Talk About Junit 5

SQALab • 6 years ago

Lambda Calculus & Functional programming

Alexander Nemish • 6 years ago

“Going bananas with recursion schemes for fixed point data types”

Pawel Szulc • 7 years ago

“Going bananas with recursion schemes for fixed point data types”

Pawel Szulc • 7 years ago

Herding types with Scala macros

Marina Sigaeva • 7 years ago

Typelevel summit

Marina Sigaeva • 6 years ago

Scalaz

mpilquist • 11 years ago

42: Rise of the dependent types

George Leontiev • 9 years ago

Scala dreaded underscore

RUDDER • 13 years ago

Refactoring to Java 8 (Devoxx BE)

Trisha Gee • 7 years ago

Procedure Typing for Scala

akuklev • 12 years ago

High Wizardry in the Land of Scala

djspiewak • 13 years ago

The Eff monad, one monad to rule them all

Eric Torreborre • 7 years ago

scala mooc math algorithms

Dmytro Mitin

Presentations

Interpolation

Type classes

Type-level programming

Eliminators into dependent types

Sigma type

Introduction to programming with dependent types in Scala

Boolean type

Likes

Tofu и его окружение

Scala 3 Is Coming: Martin Odersky Shares What To Know

Functional Effects - Part 1

Functional Effects - Part 2

Applicative Functor - Part 2

Applicative Functor - Part 3

Scalaz 8: A Whole New Game

Papers We Love Kyiv, July 2018: A Conflict-Free Replicated JSON Datatype

Papers We Love / Kyiv : PAXOS (and little about other consensuses )

Scala / Technology evolution

Practical type mining in Scala

Preparing for Scala 3

Functor Laws

Real World Java 9 - JetBrains Webinar

Java 8 Default Methods

Spring Boot Ripper

Joy of scala

Let's Talk About Junit 5

Lambda Calculus & Functional programming

“Going bananas with recursion schemes for fixed point data types”

“Going bananas with recursion schemes for fixed point data types”

Herding types with Scala macros

Typelevel summit

Scalaz

42: Rise of the dependent types

Scala dreaded underscore

Refactoring to Java 8 (Devoxx BE)

Procedure Typing for Scala

High Wizardry in the Land of Scala

The Eff monad, one monad to rule them all